The following pages link to Non-involutive twist-structures (Q3386908):
Displaying 10 items.
- Nonmonotonic twist maps (Q1343021) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Simultaneous non-vanishing of twists (Q3419889) (← links)
- Modal twist-structures over residuated lattices (Q5172134) (← links)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)