Modal extension of ideal paraconsistent four-valued logic and its subsystem

DOI10.1016/j.apal.2020.102830zbMath1459.03024OpenAlexW3027391326MaRDI QIDQ2004955

Yoni Zohar, Norihiro Kamide

Publication date: 7 October 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2020.102830

zbMATH Keywords

embedding theoremcut-elimination theoremKripke-completeness theoremGentzen-type sequent calculusideal paraconsistent four-valued logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Falsification-aware calculi and semantics for normal modal logics including S4 and S5, Embedding friendly first-order paradefinite and connexive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Ideal paraconsistent logics
• Handbook of philosophical logic. Vol. 8
• Intuitionistic logic with strong negation
• The value of the four values
• Modal multilattice logic
• Four-valued paradefinite logics
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Four-valued modal logic: Kripke semantics and duality
• The lattice of Belnapian modal logics: Special extensions and counterparts
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Embedding from multilattice logic into classical logic and vice versa
• On a multilattice analogue of a hypersequent S5 calculus
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Constructible falsity and inexact predicates
• Yet another paradefinite logic: The role of conflation1
• Connexive implication
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• A propositional logic with subjunctive conditionals
• Constructible falsity