From Intuitionism to Many-Valued Logics through Kripke Models
Logic
2021-11-30 v1 Logic in Computer Science
Abstract
Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Kurt G\"odel (1932), and it is proved by Stanis{\l}aw Ja\'skowski (1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Saul Kripke (1959). G\"odel's proof gave rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as G\"odel or the G\"odel-Dummet Logic, and is studied by fuzzy logicians as well. We also provide some results on the inter-definablility of propositional connectives in this logic.
Keywords
Cite
@article{arxiv.2008.09016,
title = {From Intuitionism to Many-Valued Logics through Kripke Models},
author = {Saeed Salehi},
journal= {arXiv preprint arXiv:2008.09016},
year = {2021}
}
Comments
10 pages, to appear in: Mathematics, Logic, and their Philosophies---Essays in Honor of Mohammad Ardeshir (Springer)