Lógica de las tautologías
Main Article Content
Keywords
Tautología, contradicción, contingencia, lógica modal, mundos posibles.
Resumen
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.
MSC: 03B45
Descargas
Referencias
[2] A. Hamilton. Lógica para matemáticos , ISBN 8428311013. Paraninfo. Madrid, 1981.
[3] Brian F. Chellas. Modal Logic: An Introduction , ISBN 0521295157. Cambridge University Press, 1980.
[4] Saul Kripke. Semantical analysis of modal logic, Zeitschrift f¨ur Mathematische Logik und Grundlagen der Mathematik, ISSN 0044-3050, 9, 67–96 (1966).
[5] Leon Henkin. The completeness of the first order functional calculus, The Journal of Symbolic Logic, ISSN 0022-4812, 14(3), 159–166 (1949).
[6] David Kaplan. Review of Kripke. The Journal of Symbolic Logic, ISSN 0022- 4812, 31, 120–122 (1966).