Why Paraconsistent Logics?

DOI10.1007/978-3-319-40418-9_2zbMath1429.03101OpenAlexW2504786850MaRDI QIDQ5213768

Seiki Akama, Newton C. A. Da Costa

Publication date: 4 February 2020

Published in: Towards Paraconsistent Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40418-9_2

zbMATH Keywords

paraconsistencyparaconsistent logicscontradiction inconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

On recent applications of paraconsistent logic: an exploratory literature review

Cites Work

• Subformula semantics for strong negation systems
• Constructive predicate logic with strong negation and model theory
• The axiomatization of S. Jaskowski's discussive system
• A semantical analysis of the calculi \(C_n\)
• The logic of paradox
• Paraconsistent logic programming
• The value of the four values
• The logic of information structures
• A theory of truth that prefers falsehood
• Handbook of philosophical logic. Vol. 7
• Reasoning with logical bilattices
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• A calculus of antinomics
• On the theory of inconsistent formal systems
• Nelson's paraconsistent logics
• Constructible falsity and inexact predicates
• On the Proof Method for Constructive Falsity
• The Paraconsistent Logics PJ
• Bilattices and the semantics of logic programming
• Outline of a Theory of Truth
• Logics of Formal Inconsistency
• Constructible falsity
• 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