Non-Commutative Linear Logic in Linguistics.

Claudia Casadio

Published in: Grammars (2001)

Keyphrases

linear logic
fixed point
language learning
logical framework
logic programming
cognitive science
intuitionistic logic
proof theoretic
natural language
cut elimination
proof search
sequent calculus
computer science
desirable properties
qualitative and quantitative
general purpose
artificial intelligence