The following pages link to An unexpected Boolean connective (Q2169126):
Displaying 4 items.
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An unexpected Boolean connective (Q6360298) (← links)