Login / Signup
Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic.
Maxime Amblard
Christian Retoré
Published in:
CoRR (2014)
Keyphrases
</>
linear logic
desirable properties
proof theoretic
fixed point
cut elimination
sequent calculus
logical framework
intuitionistic logic
logic programming
inference rules
machine learning
bayesian networks
proof search