Tree Adjoining Grammars in Noncommutative Linear Logic.

V. Michele Abrusci Christophe Fouqueré Jacqueline Vauzeilles

Published in: LACL (1996)

Keyphrases

tree adjoining
linear logic
context free grammars
fixed point
proof theoretic
logical framework
desirable properties
cut elimination
logic programming
sequent calculus
proof search
intuitionistic logic
database
databases
graph cuts
inference rules
software engineering