Logic of the tautologies
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 seman...
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2012 |
| Country: | Colombia |
| Institution: | Universidad EAFIT |
| Repository: | Repositorio EAFIT |
| Language: | English |
| OAI Identifier: | oai:repository.eafit.edu.co:10784/14440 |
| Online Access: | http://hdl.handle.net/10784/14440 |
| Access Level: | Open access |
| Keyword: | Tautology Contradiction Contingency Modal Logic Possible Worlds Tautología Contradicción Contingencia Lógica Modal Mundos Posibles |
| Summary: | 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. |
|---|