Proof Theory and Algebra in Substructural Logics

  title={Proof Theory and Algebra in Substructural Logics},
  author={Kazushige Terui},
  • K. Terui
  • Published in TABLEAUX 4 July 2011
  • Mathematics
It is quite well understood that propositional logics are tightly connected to ordered algebras via algebraic completeness, and because of this connection proof theory is often useful in the algebraic context too. A prominent example is that one deductively proves the interpolation theorem for a given logic in order to derive the algebraic amalgamation property for the corresponding variety as a corollary. Other examples include uniform interpolation, disjunction property, local deduction…