Maximal and premaximal paraconsistency in the framework of three-valued semantics
From MaRDI portal
Publication:631512
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
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
