Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Citado por Google
- Similares em SciELO
- Similares em Google
Compartilhar
Ingeniería y Ciencia
versão impressa ISSN 1794-9165
Resumo
SIERRA-ARISTIZABAL, Manuel. Logic of the tautologies. ing.cienc. [online]. 2012, vol.8, n.15, pp.97-119. ISSN 1794-9165.
Is presented as extension of classical propositional calculus, the deductive system LT: logic of the tautologies. In the LT system, the meta-logical notions of tautology, contradiction, refutable and contingency are formalized. The LT system, is characterized as a Kripke-style semantic, and can be seen as an extension of the modal logic system S5.
Palavras-chave : Tautology; contradiction; contingency; modal logic; possible worlds.