%0 Journal Article
%T L¨®gica de las tautolog¨ªas
%A Sierra-Aristiz¨¢bal
%A Manuel
%J Ingenier¨ªa y Ciencia
%D 2012
%I Universidad EAFIT
%X 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.
%K tautology
%K contradiction
%K contingency
%K modal logic
%K possible worlds.
%U http://www.scielo.org.co/scielo.php?script=sci_abstract&pid=S1794-91652012000100005&lng=en&nrm=iso&tlng=en