Academic Journals Database
Disseminating quality controlled scientific knowledge

Logic of the tautologies Lógica de las tautologías

Author(s): Manuel Sierra

Journal: Ingeniería y Ciencia
ISSN 1794-9165

Volume: 8;
Issue: 15;
Start page: 96;
Date: 2012;
Original page

Keywords: Tautología | contradicción | contingencia | lógica modal | mundos posibles.

Is presented as extension of classical propositional calculus, the deductive system LT: logic of the tautologies. In the LT system, the meta-logical notionsof 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.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.
Why do you need a reservation system?      Affiliate Program