Pages that link to "Item:Q701297"
From MaRDI portal
The following pages link to On partial and paraconsistent logics (Q701297):
Displayed 11 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)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)