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 16 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)
- Revisiting \(\mathbb Z\) (Q2443124) (← 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)
