The following pages link to (Q3466619):
Displaying 4 items.
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS (Q2986033) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)