Jump to content

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