| Revista: | Ingeniería y ciencia |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000354249 |
| ISSN: | 1794-9165 |
| Autores: | Sierra Aristizábal, Manuel1 |
| Instituciones: | 1Universidad EAFIT, Medellín, Antioquia. Colombia |
| Año: | 2012 |
| Periodo: | Ene-Jun |
| Volumen: | 8 |
| Número: | 15 |
| Paginación: | 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 |
| Disciplinas: | Matemáticas |
| Palabras clave: | Matemáticas puras, Lógica modal, Contingencia, Tautología |
| Keyword: | Mathematics, Pure mathematics, Modal logic, Contingency, Tautology |
| Texto completo: | Texto completo (Ver HTML) |
