| Journal: | Ingeniería y ciencia |
| Database: | PERIÓDICA |
| System number: | 000354249 |
| ISSN: | 1794-9165 |
| Authors: | Sierra Aristizábal, Manuel1 |
| Institutions: | 1Universidad EAFIT, Medellín, Antioquia. Colombia |
| Year: | 2012 |
| Season: | Ene-Jun |
| Volumen: | 8 |
| Number: | 15 |
| Pages: | 97-119 |
| Country: | Colombia |
| Language: | Español |
| Document type: | Artículo |
| Approach: | Aplicado, descriptivo |
| Spanish abstract | Se presenta como extensi ́on del c ́alculo proposicional cl ́ asico, el sistema deduc- tivo LT: l ́ogica de las tautolog ́ıas . En el sistema LT, se formalizan las nociones meta-l ́ogicas de tautolog ́ıa, contradicci ́on, satisfaci ble, refutable y contingen- cia. El sistema LT, es caracterizado con una sem ́antica al es tilo Kripke, y puede ser visto como una extensi ́on del sistema de l ́ogica modal S 5 |
| English abstract | Is presented as extension of classical propositional calcu lus, the deductive sys- tem LT: logic of the tautologies . In the LT system, the meta-logical notions of tautology, contradiction, refutable and contingency ar e formalized. The LT system, is characterized as a Kripke-style semantic, and ca n be seen as an extension of the modal logic system S 5 |
| Portuguese abstract | Apresenta-se como extens ̃ao do c ́alculo propocicional cl ́ assico, o sistema de- dutivo LT: l ́ogica das tautologias . No sistema LT, formalizam-se as no ̧c ̃oes meta-l ́ogicas de tautologia, contradi ̧c ̃ao, satisfat ́ıv el, refut ́avel e contingˆencia. O sistema LT, ́e caraterizado com uma sem ́antica ao estilo Kr ipke, e pode ser visto como uma extens ̃ao do sistema de l ́ogica modal S 5 |
| Disciplines: | Matemáticas |
| Keyword: | Matemáticas puras, Lógica modal, Contingencia, Tautología |
| Keyword: | Mathematics, Pure mathematics, Modal logic, Contingency, Tautology |
| Full text: | Texto completo (Ver HTML) |
