Login / Signup

Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities.

Max I. KanovichStepan L. KuznetsovAndre Scedrov
Published in: J. Log. Comput. (2020)
Keyphrases
  • cut elimination
  • sequent calculus
  • linear logic
  • inference rules
  • proof theoretic
  • wide class
  • natural deduction
  • sequent calculi
  • artificial intelligence
  • modal logic