Pages that link to "Item:Q4644476"
From MaRDI portal
The following pages link to Self-extensional three-valued paraconsistent logics have no implication (Q4644476):
Displaying 8 items.
- Compositional meaning in logic (Q1682292) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)