On the Philosophy and Mathematics of the Logics of Formal Inconsistency

DOI10.1007/978-81-322-2719-9_3zbMath1423.03098OpenAlexW2468821872MaRDI QIDQ5241518

Abilio Rodrigues, Walter Alexandre Carnielli

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_3

zbMATH Keywords

logics of formal inconsistencycontradictionsphilosophy of paraconsistency

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Related Items (5)

Defining LFIs and LFUs in extensions of infectious logics ⋮ The evidence approach to paraconsistency versus the paraconsistent approach to evidence ⋮ Unnamed Item ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ First-order logics of evidence and truth with constant and variable domains

Cites Work

• Intuitionism. An introduction
• A semantical analysis of the calculi \(C_n\)
• The logic of paradox
• Anti-intuitionism and paraconsistency
• Paraconsistent logic: consistency, contradiction and negation
• A calculus of antinomics
• Propositional calculus for contradictory deductive systems
• Paraconsistent set theory by predicating on consistency
• ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
• Formal inconsistency and evolutionary databases
• Conceptions of truth in intuitionism
• Paraconsistent Machines and their Relation to Quantum Computing
• Logics of formal inconsistency arising from systems of fuzzy logic
• Logics of Formal Inconsistency
• On the Philosophy and Mathematics of the Logics of Formal Inconsistency
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Philosophy and Mathematics of the Logics of Formal Inconsistency