A simple Henkin-style completeness proof for Gödel 3-valued logic G3

DOI10.12775/LLP.2014.001zbMath1364.03038OpenAlexW1973959253MaRDI QIDQ2987717

Gemma Robles

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2014.001

zbMATH Keywords

many-valued logicGödel 3-valued logicbivalent under-determined and over-determined semantics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (4)

The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ A basic quasi-Boolean logic of intuitionistic character

Uses Software

• MaGIC
• MaTest

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• First-order Gödel logics
• A semantical analysis of implicational system I and of the first degree of entailment
• (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• A paraconsistent 3-valued logic related to Godel logic G3
• Algebraic Completeness Results for Dummett's LC and Its Extensions

This page was built for publication: A simple Henkin-style completeness proof for Gödel 3-valued logic G3