Pages that link to "Item:Q5241519"
From MaRDI portal
The following pages link to Three-Valued Paraconsistent Propositional Logics (Q5241519):
Displaying 33 items.
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← 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)
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing) (Q1102939) (← links)
- Cut-free systems for three-valued modal logics (Q1203764) (← links)
- Sequent calculi for three-valued logics (Q1277163) (← links)
- Extensions of Hałkowska-Zajac's three-valued paraconsistent logic (Q1407542) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- Three characterizing numbers of partition logics (Q1909437) (← 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)
- Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox (Q2218709) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Prefixed tableaus for three-valued modal propositional logics (Q2718775) (← links)
- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property (Q2971281) (← links)
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence (Q3003264) (← links)
- (Q3123377) (← links)
- Relationships between Connectives in Three-Valued Logics (Q3143148) (← links)
- (Q3979210) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Self-extensional three-valued paraconsistent logics have no implication (Q4644476) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- A Three-valued Formalization of Provability (Q4763534) (← links)
- A Correspondence Between Variable Relations And Three-Valued Propositional Logic (Q4847155) (← links)
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory (Q5241523) (← 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)