Two Genuine 3-Valued Paraconsistent Logics
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1775473
- Three-valued paraconsistent propositional logics
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Partial and paraconsistent three-valued logics
- A paraconsistent 3-valued logic related to Gödel logic G3
- Strong Three-Valued Paraconsistent Logics
- scientific article; zbMATH DE number 2020144
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
- Self-extensional three-valued paraconsistent logics
- 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 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?)
- Legislative theory of pure negation
- Liberating paraconsistency from contradiction
- Paraconsistency and the C-systems of da Costa
- Round squares are no contradictions (tutorial on negation contradiction and opposition)
- The logic of paradox
- Three-valued paraconsistent propositional logics
- Trivial Dialetheism and the Logic of Paradox
Cited in
(37)- Generalized correspondence analysis for three-valued logics
- Is the principle of contradiction a consequence of \(x^2=x\)?
- Self-extensional three-valued paraconsistent logics
- The pursuit of an implication for the logics L3A and L3B
- Kripke-type semantics for \(\mathrm{CG}_3'\)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
- Three new genuine five-valued logics intended to model non-trivial concepts
- On paraconsistent extensions of C₁
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
- An application of clasp in the study of logics
- Natural \(p\)-logics
- Jaśkowski's criterion and three-valued paraconsistent logics
- scientific article; zbMATH DE number 2020144 (Why is no real title available?)
- scientific article; zbMATH DE number 1775473 (Why is no real title available?)
- Self-extensional three-valued paraconsistent logics have no implication
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- scientific article; zbMATH DE number 1931671 (Why is no real title available?)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- A family of genuine and non-algebraisable C-systems
- Many-valuedness from a universal logic perspective
- Restricted rules of inference and paraconsistency
- A paraconsistent 3-valued logic related to Gödel logic G3
- On genuine paraconsistent and genuine paracomplete newline many-valued logics
- Three-valued paraconsistent propositional logics
- Strong Three-Valued Paraconsistent Logics
- An approach to paraconsistent multivalued logic: evaluation by complex truth values
- A paraconsistent logic obtained from an algebra-valued model of set theory
- Two consistent many-valued logics for paraconsistent phenomena
- From possibility theory to paraconsistency
- An eight-valued praconsistent logic
- scientific article; zbMATH DE number 2209450 (Why is no real title available?)
- On the strongest three-valued paraconsistent logic contained in classical logic and its dual
- Genuine paracomplete logics
- Ideal paraconsistent logics
- Paraconsistentization and many-valued logics
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
This page was built for publication: Two Genuine 3-Valued Paraconsistent Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213770)
