From Paraconsistent Logic to Dialetheic Logic

DOI10.1007/978-3-319-40220-8_8zbMath1429.03108OpenAlexW2557563739MaRDI QIDQ5213760

Hitoshi Omori

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_8

zbMATH Keywords

classical logicparaconsistent logicunary operationclassical negationfalsity condition

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

An analysis of poly-connexivity, Non-conditional contracting connectives, Correspondence analysis and automated proof-searching for first degree entailment, 40 years of FDE: an introductory overview, A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, Connexive logic, connexivity, and connexivism: remarks on terminology, An algebraic investigation of the connexive logic \(\mathsf{C}\), Stalnakerian connexive logics, Connexive negation, An infinity of intuitionistic connexive logics, A Note on Ciuciura’s mbC1, Connexive logics. An overview and current trends, Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality, Towards a bridge over two approaches in connexive logic, Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

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
• Logic: a history of its central concepts
• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• On partial and paraconsistent logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• The logic of conditional negation
• A note on naive set theory in LP
• Connections between some notions of completeness of structural propositional calculi
• The value of the four values
• On negation: Pure local rules
• A criterion of fullness of many-valued systems of propositional logic
• On the theory of inconsistent formal systems
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• A propositional calculus for inconsistent deductive systems
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Formal inconsistency and evolutionary databases
• On the Propagation of Consistency in Some Systems of Paraconsistent Logic
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Logics of Formal Inconsistency
• On the expressive power of three-valued and four-valued languages
• da Costa Meets Belnap and Nelson
• REMARKS ON NAIVE SET THEORY BASED ONLP