Lógica de las tautologías
DOI:
https://doi.org/10.17230/ingciencia.8.15.5Palabras clave:
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
Xavier Caicedo. Elementos de lógica y calculabilidad , ISBN 0824703367. Universidad de Los Andes, 1990.
A. Hamilton. Lógica para matemáticos , ISBN 8428311013. Paraninfo. Madrid, 1981.
Brian F. Chellas. Modal Logic: An Introduction , ISBN 0521295157. Cambridge University Press, 1980.
Saul Kripke. Semantical analysis of modal logic, Zeitschrift f¨ur Mathematische Logik und Grundlagen der Mathematik, ISSN 0044-3050, 9, 67–96 (1966).
Leon Henkin. The completeness of the first order functional calculus, The Journal of Symbolic Logic, ISSN 0022-4812, 14(3), 159–166 (1949).
David Kaplan. Review of Kripke. The Journal of Symbolic Logic, ISSN 0022- 4812, 31, 120–122 (1966).
Descargas
Publicado
Número
Sección
Licencia
Los autores que publican en esta revista están de acuerdo con los siguientes términos:
- Los autores conservan los derechos de autor y garantizan a la revista el derecho de ser la primera publicación del trabajo al igual que licenciado bajo una Creative Commons Attribution License que permite a otros compartir el trabajo con un reconocimiento de la autoría del trabajo y la publicación inicial en esta revista.
- Los autores pueden establecer por separado acuerdos adicionales para la distribución no exclusiva de la versión de la obra publicada en la revista (por ejemplo, situarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en esta revista.
- Se permite y se anima a los autores a difundir sus trabajos electrónicamente (por ejemplo, en repositorios institucionales o en su propio sitio web) antes y durante el proceso de envío, ya que puede dar lugar a intercambios productivos, así como a una citación más temprana y mayor de los trabajos publicados (Véase The Effect of Open Access) (en inglés).
Plagiarism Detection