Strong Three-Valued Paraconsistent Logics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1775473
- Three-valued paraconsistent propositional logics
- Partial and paraconsistent three-valued logics
- On the strongest three-valued paraconsistent logic contained in classical logic and its dual
- scientific article; zbMATH DE number 2020144
- Self-extensional three-valued paraconsistent logics
- Two Genuine 3-Valued Paraconsistent Logics
- A paraconsistent 3-valued logic related to Gödel logic G3
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Jaśkowski's criterion and three-valued paraconsistent logics
Cites work
- A calculus of antinomics
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 45458 (Why is no real title available?)
- scientific article; zbMATH DE number 536898 (Why is no real title available?)
- scientific article; zbMATH DE number 1735921 (Why is no real title available?)
- scientific article; zbMATH DE number 2019882 (Why is no real title available?)
- scientific article; zbMATH DE number 823609 (Why is no real title available?)
- scientific article; zbMATH DE number 3304911 (Why is no real title available?)
- scientific article; zbMATH DE number 3315182 (Why is no real title available?)
- scientific article; zbMATH DE number 3377211 (Why is no real title available?)
- scientific article; zbMATH DE number 3192057 (Why is no real title available?)
- Idempotent full paraconsistent negations are not algebraizable
- Legislative theory of pure negation
- Logic: a history of its central concepts
- Paraconsistency and the C-systems of da Costa
- The logic of paradox
- Three-valued paraconsistent propositional logics
- Trivial Dialetheism and the Logic of Paradox
Cited in
(13)- The pursuit of an implication for the logics L3A and L3B
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
- Jaśkowski's criterion and three-valued paraconsistent logics
- scientific article; zbMATH DE number 1775473 (Why is no real title available?)
- scientific article; zbMATH DE number 6418709 (Why is no real title available?)
- Two Genuine 3-Valued Paraconsistent Logics
- Three-valued paraconsistent propositional logics
- Non-transitive correspondence analysis
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
This page was built for publication: Strong Three-Valued Paraconsistent Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241521)
