The following pages link to About some symmetries of negation (Q4302346):
Displaying 6 items.
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- First-order theories for pure Prolog programs with negation (Q1892097) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- Metainferential duality (Q4994022) (← links)
