Classical Lambek Logic

Abstract

. We discuss different options for two-sided sequent systems of noncommutative linear logic and prove a restricted form of cut elimination. By "classical Lambek logic" we denote a sequent system with sequences of propositional formulas on the right and left side of the sequent sign, which has no structural rule except cut. We credit this logic to J. Lambek… (More)
DOI: 10.1007/3-540-59338-1_40

Topics

  • Presentations referencing similar topics