Making first order linear logic a generating grammar.

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

linear logic
fixed point
higher order
logic programming
first order logic
context free
sequent calculus
natural language
desirable properties
logical framework
cut elimination
intuitionistic logic
knowledge representation
proof theoretic
machine learning
proof search