Ideal paraconsistent logics
From MaRDI portal
Publication:647409
DOI10.1007/S11225-011-9346-YzbMATH Open1248.03046OpenAlexW1987485205MaRDI QIDQ647409FDOQ647409
Authors: Ofer Arieli, Arnon Avron, Anna Zamansky 
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
Recommendations
Cites Work
- The logic of paradox
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- Title not available (Why is that?)
- A treatise on many-valued logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics of formal inconsistency
- Intuitive semantics for first-degree entailments and `coupled trees'
- Non-deterministic Multiple-valued Structures
- The value of the four values
- Natural 3-valued logics—characterization and proof theory
- Bilattices and the semantics of logic programming
- Title not available (Why is that?)
- Formal inconsistency and evolutionary databases
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the discussive conjunction in the propositional calculus for inconsistent deductive systems
- Reasoning about truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deducibility and many-valuedness
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Title not available (Why is that?)
Cited In (31)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
- Questions to Michael Dunn
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Four-valued paradefinite logics
- The pursuit of an implication for the logics L3A and L3B
- Natural \(p\)-logics
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
- К вопросу о критерии паранепротиворечивости логик
- On the Methodology of Paraconsistent Logic
- Classical negation and expansions of Belnap-Dunn logic
- On paraconsistent extensions of \(C_1\)
- A preferential framework for trivialization-resistant reasoning with inconsistent information
- Preferences in artificial intelligence
- Idealization in applied first-order logic
- Paraconsistency in classical logic
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- R-Mingle is Nice, and so is Arnon Avron
- Connexive implications in substructural logics
- Paraconsistency properties in degree-preserving fuzzy logics
- A single proof of classical behaviour in da Costa's \(C_n\) systems
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Embedding friendly first-order paradefinite and connexive logics
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- Title not available (Why is that?)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- Paraconsistent dynamics
- Three-Valued Paraconsistent Propositional Logics
This page was built for publication: Ideal paraconsistent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647409)
