Extended Lambek calculi and first-order linear logic

Published in: CoRR (2013)

Keyphrases

linear logic
fixed point
higher order
logic programming
logical framework
proof search
proof theoretic
sequent calculus
first order logic
desirable properties
cut elimination
intuitionistic logic