Ideal paraconsistent logics
From MaRDI portal
Publication:647409
DOI10.1007/s11225-011-9346-yzbMath1248.03046OpenAlexW1987485205MaRDI QIDQ647409
Anna Zamansky, Ofer Arieli, Arnon Avron
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9346-y
Related Items (27)
К вопросу о критерии паранепротиворечивости логик ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Preferences in artificial intelligence ⋮ Questions to Michael Dunn ⋮ A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ 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 ⋮ Four-valued paradefinite logics ⋮ The pursuit of an implication for the logics L3A and L3B ⋮ Paraconsistency in classical logic ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ Paraconsistent dynamics ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ A single proof of classical behaviour in da Costa's \(C_n\) systems ⋮ On paraconsistent extensions of \(C_1\) ⋮ On the Methodology of Paraconsistent Logic ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ 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 ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ R-Mingle is Nice, and so is Arnon Avron
Cites Work
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Reasoning about truth
- The logic of paradox
- The value of the four values
- Intuitive semantics for first-degree entailments and `coupled trees'
- Non-deterministic Multiple-valued Structures
- On the discussive conjunction in the propositional calculus for inconsistent deductive systems
- Formal inconsistency and evolutionary databases
- Natural 3-valued logics—characterization and proof theory
- Bilattices and the semantics of logic programming
- Logics of Formal Inconsistency
- 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
This page was built for publication: Ideal paraconsistent logics
