From intuitionism to many-valued logics through Kripke models

DOI10.1007/978-3-030-53654-1_11zbMath1490.03011arXiv2008.09016OpenAlexW3076193140MaRDI QIDQ2658284

Saeed Salehi

Publication date: 19 March 2021

Full work available at URL: https://arxiv.org/abs/2008.09016

zbMATH Keywords

Kripke modelsintuitionistic propositional logicmany-valued logicsGödel-Dummett logicinter-definability of propositional connectives

Mathematics Subject Classification ID

Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Kripke semantics for fuzzy logics
• A propositional calculus with denumerable matrix
• A completeness theorem in modal logic

This page was built for publication: From intuitionism to many-valued logics through Kripke models