Coalgebraic Predicate Logic: Equipollence Results and Proof Theory.
Tadeusz LitakDirk PattinsonKatsuhiko SanoPublished in: TbiLLC (2011)
Keyphrases
- proof theory
- predicate logic
- default reasoning
- knowledge representation and reasoning
- automated reasoning
- reasoning problems
- semantic network
- temporal logic
- knowledge representation
- lower level
- computational linguistics
- artificial intelligence
- reasoning systems
- order sorted
- machine learning
- decision procedures
- reasoning tasks
- co occurrence