Yet another paradefinite logic: The role of conflation1

DOI10.1093/jigpal/jzy023zbMath1494.03067OpenAlexW2888620738WikidataQ129480356 ScholiaQ129480356MaRDI QIDQ5241918

Norihiro Kamide, Yoni Zohar

Publication date: 4 November 2019

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

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

zbMATH Keywords

completenesssequent calculuscut-eliminationparaconsistent logicparadefinite logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

Related Items (7)

Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Embedding friendly first-order paradefinite and connexive logics ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi

This page was built for publication: Yet another paradefinite logic: The role of conflation1