A paraconsistent 3-valued logic related to Godel logic G3
From MaRDI portal
Publication:5172138
DOI10.1093/jigpal/jzt046zbMath1343.03025OpenAlexW2057015138MaRDI QIDQ5172138
No author found.
Publication date: 12 February 2015
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzt046
many-valued logicparaconsistent logicsGödel 3-valued logicbivalent underdetermined and overdetermined semantics
Related Items (8)
Compositional meaning in logic ⋮ Self-extensional three-valued paraconsistent logics ⋮ A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\) ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ 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}}\) ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
This page was built for publication: A paraconsistent 3-valued logic related to Godel logic G3
