Revista: | Ingeniería y ciencia |
Base de datos: | PERIÓDICA |
Número de sistema: | 000354249 |
ISSN: | 1794-9165 |
Autors: | Sierra Aristizábal, Manuel1 |
Institucions: | 1Universidad EAFIT, Medellín, Antioquia. Colombia |
Any: | 2012 |
Període: | Ene-Jun |
Volum: | 8 |
Número: | 15 |
Paginació: | 97-119 |
País: | Colombia |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Aplicado, descriptivo |
Resumen en español | 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 |
Resumen en inglés | 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 |
Resumen en portugués | 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 |
Paraules clau: | Matemáticas puras, Lógica modal, Contingencia, Tautología |
Keyword: | Mathematics, Pure mathematics, Modal logic, Contingency, Tautology |
Text complet: | Texto completo (Ver HTML) |