Logic of the tautologies
Main Article Content
Keywords
Tautology, contradiction, contingency, modal logic, possible worlds.
Abstract
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.
MSC: 03B45
Downloads
References
[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).