Login / Signup
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities.
Max I. Kanovich
Stepan L. Kuznetsov
Andre 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