Sistema de lógica diagonal ld1, ld2,…ld42
| dc.citation.epage | 80 | |
| dc.citation.issue | 121 | |
| dc.citation.journalTitle | Revista Universidad EAFIT | eng |
| dc.citation.spage | 65 | |
| dc.citation.volume | 37 | |
| dc.contributor.affiliation | Universidad EAFIT | spa |
| dc.contributor.author | Sierra, Manuel | spa |
| dc.coverage.spatial | Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees | |
| dc.date | 2001 | |
| dc.date.accessioned | 2020-07-30T21:01:52Z | |
| dc.date.available | 2020-07-30T21:01:52Z | |
| dc.date.issued | 2001 | |
| dc.description | Los sistemas de Lógica Diagonal deben restringir la validez de la regla de modus ponens para poder soportar una forma abstracta de la paradoja de Russell. En este trabajo se presenta la construcción de una jerarquía de sistemas de Lógica Diagonal, en la cual diferentes formas de modus ponens son estudiadas. | spa |
| dc.format | application/pdf | |
| dc.identifier.issn | 0120-341X | |
| dc.identifier.uri | http://hdl.handle.net/10784/17302 | |
| dc.language.iso | spa | |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017/918 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017/918 | |
| dc.rights | Copyright © 2001 Manuel Sierra | eng |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
| dc.rights.local | Acceso abierto | spa |
| dc.source | Revista Universidad EAFIT, Vol. 37, No. 121 (2001) | spa |
| dc.subject.keyword | Paradoja del mentiroso | spa |
| dc.subject.keyword | Teoría de conjuntos | spa |
| dc.subject.keyword | Bertrand Russell | spa |
| dc.subject.keyword | Haskell Curry | spa |
| dc.subject.keyword | Logica algebraica | spa |
| dc.title | Sistema de lógica diagonal ld1, ld2,…ld42 | spa |
| dc.type | article | eng |
| dc.type | info:eu-repo/semantics/article | eng |
| dc.type | publishedVersion | eng |
| dc.type | info:eu-repo/semantics/publishedVersion | eng |
| dc.type.local | Artículo | spa |