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 6 items.
- Extensions of Hałkowska-Zajac's three-valued paraconsistent logic (Q1407542) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)