Pages that link to "Item:Q701297"
From MaRDI portal
The following pages link to On partial and paraconsistent logics (Q701297):
Displaying 30 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- A paraconsistent conditional logic (Q829828) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Rejection and truth-value gaps (Q1347612) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Partiality and its dual (Q1840645) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- A propositional logic with relative identity connective and a partial solution to the paradox of analysis (Q2642522) (← links)
- Partial logics with two kinds of negation as a foundation for knowledge-based reasoning (Q2715521) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Bivalent logics (Q2874886) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- A Logical Study of Partial Entailment (Q3068941) (← links)
- Logical Weak Completions of Paraconsistent Logics (Q3549315) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- (Q4198476) (← links)
- (Q4544195) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- (Q4722033) (← links)
- (Q4888316) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- Sub-classical Boolean Bunched Logics and the Meaning of Par (Q5351966) (← links)
- Minimal paradefinite logics for reasoning with incompleteness and inconsistency (Q5369472) (← links)
- (Q5411496) (← links)
- (Q5413342) (← links)
- (Q5855501) (← links)
