A sequent calculus for the Tamari order

@article{Zeilberger2017ASC,
  title={A sequent calculus for the Tamari order},
  author={Noam Zeilberger},
  journal={CoRR},
  year={2017},
  volume={abs/1701.02917}
}
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