Login / Signup
Linear Logic for Meaning Assembly
Mary Dalrymple
John Lamping
Fernando C. N. Pereira
Vijay A. Saraswat
Published in:
CoRR (1995)
Keyphrases
</>
linear logic
fixed point
logic programming
sequent calculus
logical framework
proof theoretic
desirable properties
proof search
cut elimination
intuitionistic logic
inference rules
natural language
pairwise
printed circuit boards
high level
reinforcement learning