Pages that link to "Item:Q5241521"
From MaRDI portal
The following pages link to Strong Three-Valued Paraconsistent Logics (Q5241521):
Displaying 10 items.
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case (Q2133441) (← links)
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence (Q3003264) (← links)
- (Q4982110) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)