Lógica básica con aceptación fuerte
| dc.contributor.author | Sierra, Manuel | spa |
| dc.date.accessioned | 2019-07-03T16:25:44Z | spa |
| dc.date.available | 2019-07-03T16:25:44Z | spa |
| dc.date.issued | 2002 | spa |
| dc.description.abstract | El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación de su aceptación fuerte sean ambos verdaderos, también permite que un enunciado y la negación de su aceptación fuerte sean ambos falsos. | spa |
| dc.format.mimetype | application/pdf | spa |
| dc.identifier.eprints | http://bdigital.unal.edu.co/37969/ | spa |
| dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/73493 | |
| dc.language.iso | spa | spa |
| dc.publisher | Boletín de Matemáticas | spa |
| dc.relation | http://revistas.unal.edu.co/index.php/bolma/article/view/40231 | spa |
| dc.relation.ispartof | Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas | spa |
| dc.relation.ispartof | Boletín de Matemáticas | spa |
| dc.relation.ispartofseries | Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380 | |
| dc.relation.references | Sierra, Manuel (2002) Lógica básica con aceptación fuerte. Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380 . | spa |
| dc.rights | Derechos reservados - Universidad Nacional de Colombia | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.license | Atribución-NoComercial 4.0 Internacional | spa |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | spa |
| dc.subject.proposal | Strong affirmation | spa |
| dc.subject.proposal | weak affirmation | spa |
| dc.subject.proposal | negation | spa |
| dc.subject.proposal | axiom | spa |
| dc.subject.proposal | classical logic | spa |
| dc.subject.proposal | valuation | spa |
| dc.subject.proposal | trivialization. | spa |
| dc.title | Lógica básica con aceptación fuerte | spa |
| dc.type | Artículo de revista | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_6501 | spa |
| dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
| dc.type.content | Text | spa |
| dc.type.driver | info:eu-repo/semantics/article | spa |
| dc.type.redcol | http://purl.org/redcol/resource_type/ART | spa |
| dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
| oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- 40231-180498-1-PB.pdf
- Tamaño:
- 156.39 KB
- Formato:
- Adobe Portable Document Format