In mathematics, an order variety is a ternary relation...

Further reading

edit
  • Ruet, Paul (April 2000), "Non-commutative logic II: sequent calculus and phase semantics", Mathematical Structures in Computer Science, 10 (2): 277–312, doi:10.1017/S0960129599003084