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:
CoRR (2016)
Keyphrases
</>
cut elimination
linear logic
sequent calculus
wide class
proof theoretic
natural deduction
inference rules
similarity measure
markov random field
proof theory
linear time temporal logic