The following pages link to Implicative twist-structures (Q2449455):
Displaying 10 items.
- Hoop twist-structures (Q334145) (← links)
- Bilattices with implications (Q368472) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
