Pages that link to "Item:Q631512"
From MaRDI portal
The following pages link to Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512):
Displaying 20 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← 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)
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox (Q2218709) (← links)
- Realizability of three-valued semantics for abstract dialectical frameworks (Q2287192) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Revisiting \(\mathbb Z\) (Q2443124) (← links)
- (Q3316562) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory (Q5241523) (← links)
- REMARKS ON NAIVE SET THEORY BASED ON<b>LP</b> (Q5259723) (← links)
- Two, Many, and Differently Many (Q5350334) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)