Extended Lambek Calculi and First-Order Linear Logic.

Published in: Categories and Types in Logic, Language, and Physics (2014)

Keyphrases

linear logic
first order logic
fixed point
cut elimination
sequent calculus
proof theoretic
higher order
logic programming
intuitionistic logic
desirable properties
proof search
logical framework
inference rules
machine learning
general purpose
search space
expert systems
image segmentation