Pages that link to "Item:Q1682293"
From MaRDI portal
The following pages link to Self-extensional three-valued paraconsistent logics (Q1682293):
Displaying 14 items.
- Self-dual binary and ternary connectives for \(m\)-valued propositional calculi (Q775685) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Extensions of Hałkowska-Zajac's three-valued paraconsistent logic (Q1407542) (← links)
- Compositional meaning in logic (Q1682292) (← 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)
- Self-extensional three-valued paraconsistent logics have no implication (Q4644476) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← 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)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- Hyperintensionality in relevant logics (Q6562548) (← links)