From paraconsistent logic to dialetheic logic
From MaRDI portal
Recommendations
Cites work
- A criterion of fullness of many-valued systems of propositional logic
- A note on naive set theory in LP
- A propositional calculus for inconsistent deductive systems
- Classical negation and expansions of Belnap-Dunn logic
- Connections between some notions of completeness of structural propositional calculi
- Connexive modal logic
- Da Costa meets Belnap and Nelson
- Doubt truth to be a liar
- Formal inconsistency and evolutionary databases
- Frontiers of the discursive logic
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Generalizing functional completeness in Belnap-Dunn logic
- scientific article; zbMATH DE number 4142013 (Why is no real title available?)
- scientific article; zbMATH DE number 3719121 (Why is no real title available?)
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1749203 (Why is no real title available?)
- scientific article; zbMATH DE number 3993546 (Why is no real title available?)
- scientific article; zbMATH DE number 866639 (Why is no real title available?)
- scientific article; zbMATH DE number 3315182 (Why is no real title available?)
- scientific article; zbMATH DE number 2213620 (Why is no real title available?)
- Logic: a history of its central concepts
- Logics of formal inconsistency
- Necessary conditions for negation operators
- On negation: Pure local rules
- On partial and paraconsistent logics
- On the discussive conjunction in the propositional calculus for inconsistent deductive systems
- On the expressive power of three-valued and four-valued languages
- On the propagation of consistency in some systems of paraconsistent logic
- On the theory of inconsistent formal systems
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Remarks on naive set theory based on \(\mathbf{LP}\)
- The logic of conditional negation
- The value of the four values
- Transfinite cardinals in paraconsistent set theory
- Transfinite numbers in paraconsistent set theory
Cited in
(28)- 40 years of FDE: an introductory overview
- An analysis of poly-connexivity
- DLEAC: a dialetheic logic with exclusive assumptions and conclusions
- Non-conditional contracting connectives
- Correspondence analysis and automated proof-searching for first degree entailment
- The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism
- 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
- Belnap-Dunn modal logics: truth constants vs. truth values
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’
- 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
- Dunn semantics for contra-classical logics
- Fragility and strength
- Connexive logic: new old challenges
- Dummett's theory of truth as a source of connexivity
- Another generalization of connexive logic C
- Flavors of connexivity
- A note on the historiography of pre-modern connexive logic
- Unified Gentzen approach to connexive logics over Wansing's C
- Strict-tolerant conditional logics
- An easy road to multi-contra-classicality
This page was built for publication: From paraconsistent logic to dialetheic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213760)
