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

DOI10.12775/LLP.2014.001MaRDI QIDQ2987717zbMATH OpenOpenAlexFDO

Authors 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

bivalent under-determined and over-determined semanticsGödel 3-valued logicmany-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• A paraconsistent 3-valued logic related to Gödel logic G3
• Proof systems for 3-valued logics based on Gödel's implication
• A completeness proof for a regular predicate logic with undefined truth value
• Brief study of G'₃ logic
• scientific article; zbMATH DE number 3997759

Cites work

• (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A paraconsistent 3-valued logic related to Gödel logic G3
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• A semantical analysis of implicational system I and of the first degree of entailment
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
• First-order Gödel logics
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual

Cited in

(12)

• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• Brief study of G'₃ logic
• scientific article; zbMATH DE number 3997759 (Why is no real title available?)
• A basic quasi-Boolean logic of intuitionistic character
• \(\mathbf{G}_3'\) as the logic of modal 3-valued Heyting algebras
• Proof systems for 3-valued logics based on Gödel's implication
• A paraconsistent 3-valued logic related to Gödel logic G3
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
• Kamide is in America, Moisil and Leitgeb are in Australia
• Partial connexivity and the logic CG'_3

Describes a project that uses

Uses Software

• MaGIC
• MaTest

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987717)