Pages that link to "Item:Q5880424"
From MaRDI portal
The following pages link to THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424):
Displaying 6 items.
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic (Q6150668) (← links)
