Pages that link to "Item:Q5213770"
From MaRDI portal
The following pages link to Two Genuine 3-Valued Paraconsistent Logics (Q5213770):
Displaying 24 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- Yes, Virginia, there really are paraconsistent logics (Q1818380) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case (Q2133441) (← links)
- Three new genuine five-valued logics intended to model non-trivial concepts (Q2133459) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence (Q3003264) (← links)
- Self-extensional three-valued paraconsistent logics have no implication (Q4644476) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- Many-valuedness from a universal logic perspective (Q5061411) (← links)
- A paraconsistent 3-valued logic related to Godel logic G3 (Q5172138) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values (Q5241522) (← links)
- A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory (Q5241523) (← links)
- Two Consistent Many-Valued Logics for Paraconsistent Phenomena (Q5241524) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
