Logic of the tautologies
| dc.citation.epage | 119 | |
| dc.citation.issue | 15 | |
| dc.citation.journalAbbreviatedTitle | ing.cienc. | eng |
| dc.citation.journalTitle | Ingeniería y Ciencia | eng |
| dc.citation.spage | 96 | |
| dc.citation.volume | 8 | |
| dc.contributor.affiliation | Universidad EAFIT | spa |
| dc.contributor.author | Sierra A. | spa |
| dc.contributor.author | 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 | eng |
| dc.date | 2012-06-15 | |
| dc.date.accessioned | 2019-11-22T18:48:58Z | |
| dc.date.available | 2019-11-22T18:48:58Z | |
| dc.date.issued | 2012-06-15 | |
| dc.description | The deductive system LT: logic of tautologies is presented as an extension of the classical propositional calculus. In the LT system, the meta-logical notions of tautology, contradiction, satisfactory, refutable and contingency are formalized. The LT system is characterized with a Kripke-style semantics, and can be seen as an extension of the S5 modal logic system. | eng |
| dc.description | Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estilo Kripke, y puede ser visto como una extensión del sistema de lógica modal S5. | spa |
| dc.format | application/pdf | |
| dc.identifier.doi | 10.17230/ingciencia.8.15.5 | |
| dc.identifier.issn | 2256-4314 | |
| dc.identifier.issn | 1794-9165 | |
| dc.identifier.uri | http://hdl.handle.net/10784/14440 | |
| dc.language.iso | eng | eng |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/936 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/936 | |
| dc.rights | Copyright (c) 2012 Manuel Sierra A. | eng |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
| dc.rights.local | Acceso abierto | spa |
| dc.source | instname:Universidad EAFIT | |
| dc.source | reponame:Repositorio Institucional Universidad EAFIT | |
| dc.source | Ingeniería y Ciencia; Vol 8, No 15 (2012) | spa |
| dc.subject.keyword | Tautology | eng |
| dc.subject.keyword | Contradiction | eng |
| dc.subject.keyword | Contingency | eng |
| dc.subject.keyword | Modal Logic | eng |
| dc.subject.keyword | Possible Worlds | eng |
| dc.subject.keyword | Tautología | spa |
| dc.subject.keyword | Contradicción | spa |
| dc.subject.keyword | Contingencia | spa |
| dc.subject.keyword | Lógica Modal | spa |
| dc.subject.keyword | Mundos Posibles | spa |
| dc.title | Logic of the tautologies | eng |
| dc.title | Lógica de las tautologías | 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 |