Maximal and premaximal paraconsistency in the framework of three-valued semantics

DOI10.1007/s11225-010-9296-9zbMath1256.03030OpenAlexW2021777357MaRDI QIDQ631512

Anna Zamansky, Ofer Arieli, Arnon Avron

Publication date: 14 March 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.9364

zbMATH Keywords

nondeterministic semanticsparaconsistent logicsthree-valued logicsmaximal paraconsistency

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (17)

Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) ⋮ Inferences and metainferences in \(\mathsf{ST}\) ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ Four-valued paradefinite logics ⋮ Two, Many, and Differently Many ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ Revisiting \(\mathbb Z\) ⋮ Ideal paraconsistent logics ⋮ n-valued maximal paraconsistent matrices ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ On the Methodology of Paraconsistent Logic ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ REMARKS ON NAIVE SET THEORY BASED ONLP ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about truth
• Non-deterministic semantics for logics with a consistency operator
• What is negation?
• Combining classical logic, paraconsistency and relevance
• On negation: Pure local rules
• Non-deterministic Multiple-valued Structures
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Formal inconsistency and evolutionary databases
• Distance-based non-deterministic semantics for reasoning with uncertainty
• Relevant entailment—semantics and formal systems
• Natural 3-valued logics—characterization and proof theory
• Logics of Formal Inconsistency
• On the expressive power of three-valued and four-valued languages
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Deducibility and many-valuedness
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Maximal and premaximal paraconsistency in the framework of three-valued semantics