A sequent calculus for the Tamari order

  title={A sequent calculus for the Tamari order},
  author={Noam Zeilberger},
We introduce a sequent calculus with a simple restriction of Lambek’s product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a semi-associative law (equivalently, tree rotation). We establish a focusing property for this sequent calculus (a strengthening of… CONTINUE READING