User:Melchoir/Order variety

From Wikipedia, the free encyclopedia

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
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Melchoir/Order_variety&oldid=710421656"