Making first order linear logic a generating grammar.

Published in: CoRR (2022)

Keyphrases

linear logic
fixed point
intuitionistic logic
proof theoretic
cut elimination
desirable properties
natural language
sequent calculus
higher order
logical framework
logic programming
proof search
first order logic
context free
image segmentation
context free grammars
object oriented
pairwise