2019-11-222012-06-152256-43141794-9165http://hdl.handle.net/10784/14440The 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.Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estilo Kripke, y puede ser visto como una extensión del sistema de lógica modal S5.application/pdfengCopyright (c) 2012 Manuel Sierra A.articleinfo:eu-repo/semantics/openAccessTautologyContradictionContingencyModal LogicPossible WorldsTautologíaContradicciónContingenciaLógica ModalMundos PosiblesAcceso abierto2019-11-22Sierra A.Manuel10.17230/ingciencia.8.15.5