Linguistic Applications of First Order Intuitionistic Linear Logic.

Richard Moot Mario Piazza

Published in: J. Log. Lang. Inf. (2001)

Keyphrases

linear logic
fixed point
first order logic
cut elimination
logical framework
proof theoretic
higher order
proof search
intuitionistic logic
logic programming
sequent calculus
desirable properties
inference rules
natural language
horn clauses
machine learning
logic programs
decision making