Proof Systems for 3-valued Logics Based on Gödel’s Implication

DOI10.1093/JIGPAL/JZAB013zbMath1494.03059OpenAlexW3132355861MaRDI QIDQ5092560

Arnon Avron

Publication date: 22 July 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzab013

zbMATH Keywords

paraconsistent logics3-valued logicsGödel implicationanalytic Gentzen-type systemsHilbert-type systems

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (2)

A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)

This page was built for publication: Proof Systems for 3-valued Logics Based on Gödel’s Implication