Syntactic cut-elimination for common knowledge.

Kai Brünnler Thomas Studer

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

knowledge base
cut elimination
natural language
expert systems
knowledge representation
software engineering
linear logic