SciELO - Scientific Electronic Library Online

 
vol.8 issue15Semantic similarity estimation of tasks between telecommunications business processesOptimal Phase Balancing Planning for Loss Reduction in Distribution Systems using a Specialized Genetic Algorithm author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google

Share


Ingeniería y Ciencia

Print version ISSN 1794-9165

Abstract

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.

Keywords : Tautology; contradiction; contingency; modal logic; possible worlds.

        · abstract in Spanish | Portuguese     · text in Spanish     · Spanish ( pdf )

 

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License