Pages that link to "Item:Q5414140"
From MaRDI portal
The following pages link to LP<sup>+</sup>, K3<sup>+</sup>, FDE<sup>+</sup>, AND THEIR ‘CLASSICAL COLLAPSE’ (Q5414140):
Displayed 8 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- FDE as the One True Logic (Q3305611) (← links)
- Consistency, Completeness, and Classicality (Q3305618) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)