DeepAI AI Chat
Log In Sign Up

From Intuitionism to Many-Valued Logics through Kripke Models

by   Saeed Salehi, et al.

Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Kurt Gödel (1932), and it is proved by Stanisław Jaśkowski (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ödel's proof gave rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as Gödel or the Gödel-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.


page 1

page 2

page 3

page 4


Time and Gödel: Fuzzy temporal reasoning in PSPACE

We investigate a non-classical version of linear temporal logic whose pr...

The ILLTP Library for Intuitionistic Linear Logic

Benchmarking automated theorem proving (ATP) systems using standardized ...

Propositional Logics for the Lawvere Quantale

Lawvere showed that generalised metric spaces are categories enriched ov...

On the construction of multi-valued concurrent dynamic logic

Dynamic logic is a powerful framework for reasoning about imperative pro...

Finitely-valued propositional dynamic logic

We study a many-valued generalization of Propositional Dynamic Logic whe...

n-Valued Refined Neutrosophic Logic and Its Applications to Physics

In this paper we present a short history of logics: from particular case...

Partial Regularization of First-Order Resolution Proofs

Resolution and superposition are common techniques which have seen wides...