Pages that link to "Item:Q558432"
From MaRDI portal
The following pages link to LK, LJ, dual intuitionistic logic, and quantum logic (Q558432):
Displaying 5 items.
- Revisiting da Costa logic (Q301378) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
