On the Methodology of Paraconsistent Logic
From MaRDI portal
Publication:5213765
DOI10.1007/978-3-319-40220-8_12zbMath1429.03109OpenAlexW2557559526MaRDI QIDQ5213765
Heinrich Wansing, Sergei P. Odintsov
Publication date: 4 February 2020
Published in: Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-40220-8_12
absorptionmethodologyrelevance logicconstructive logicclassical logicparaconsistent logicmaximal paraconsistencyconnexive logicminimal loss of expressivenessseparation of concepts
Related Items
Routley star and hyperintensionality ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ Connexive Variants of Modal Logics Over FDE
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic: a history of its central concepts
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- First-order da Costa logic
- Ideal paraconsistent logics
- Truth and falsehood. An inquiry into generalized logical values
- Between order and chaos: The quest for meaningful information
- The class of extensions of Nelson's paraconsistent logic
- Constructive negations and paraconsistency
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- A decidable fragment of predicate calculus
- Depth relevance of some paraconsistent logics
- Predicate logics without the structure rules
- Minimally inconsistent LP
- The logic of paradox
- The logic of information structures
- What is negation?
- On negation: Pure local rules
- Handbook of philosophical logic. Vol. 9
- Negation as cancellation, and connexive logic
- Extensions of Priest-da Costa logic
- Logics of nonsense and Parry systems
- The classical constraint on relevance
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- On inference from inconsistent premisses
- On the theory of inconsistent formal systems
- Falsification, natural deduction and bi-intuitionistic logic
- Free of Detachment: Logic, Rationality, and Gluts
- REASSURANCE FOR THE LOGIC OF PARADOX
- A propositional calculus for inconsistent deductive systems
- Jaśkowski's criterion and three-valued paraconsistent logics
- Philosophical Conceptions of Information
- Constructive negation, implication, and co-implication
- Constructible falsity and inexact predicates
- Natural 3-valued logics—characterization and proof theory
- Information, Negation, and Paraconsistency
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
- Logics of Formal Inconsistency
- Explaining Deductive Inference
- Constructible falsity
This page was built for publication: On the Methodology of Paraconsistent Logic
