Pages that link to "Item:Q5241519"
From MaRDI portal
The following pages link to Three-Valued Paraconsistent Propositional Logics (Q5241519):
Displayed 13 items.
- Four-valued paradefinite logics (Q1685565) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case (Q2133441) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- Lindenbaum-type logical structures (Q6043098) (← links)
- On the three-valued expansions of Kleene's logic (Q6143288) (← links)