Pages that link to "Item:Q4508259"
From MaRDI portal
The following pages link to Subprevarieties versus extensions. Application to the logic of paradox (Q4508259):
Displaying 4 items.
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)