Three-Valued Paraconsistent Propositional Logics

DOI10.1007/978-81-322-2719-9_4zbMath1423.03092OpenAlexW2473080212MaRDI QIDQ5241519

Ofer Arieli, Arnon Avron

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_4

zbMATH Keywords

paraconsistencyproof systems3-valued matrices

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Four-valued paradefinite logics ⋮ Lindenbaum-type logical structures ⋮ On the three-valued expansions of Kleene's logic ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ n-valued maximal paraconsistent matrices ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ Two Genuine 3-Valued Paraconsistent Logics ⋮ Paraconsistency and the need for infinite semantics ⋮ Strong Three-Valued Paraconsistent Logics ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi

Cites Work

• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Ideal paraconsistent logics
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Reasoning about truth
• On an implication connective of RM
• On interpretation of inconsistent theories
• Minimally inconsistent LP
• The logic of paradox
• The value of the four values
• Combining classical logic, paraconsistency and relevance
• A calculus of antinomics
• On the theory of inconsistent formal systems
• Non-deterministic Multiple-valued Structures
• Natural 3-valued logics—characterization and proof theory
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Logics of Formal Inconsistency
• On the expressive power of three-valued and four-valued languages
• From Possibility Theory to Paraconsistency
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Deducibility and many-valuedness
• 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
• Unnamed Item