Classical Lambek Logic


. 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


  • Presentations referencing similar topics