About cut elimination for logics of common knowledge.

Luca Alberucci Gerhard Jäger

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

Keyphrases

knowledge base
expert systems
inference rules
knowledge representation
linear logic
cut elimination
machine learning
artificial intelligence
expressive power
proof theoretic