Views of proof-theoretic semantics: reified proof-theoretic meanings.
Nissim FrancezPublished in: J. Log. Comput. (2016)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- linear logic
- default reasoning
- constraint logic programming
- nonmonotonic reasoning
- fixpoint
- deductive databases
- description logics
- database
- operational semantics
- default logic
- decision procedures
- artificial intelligence
- desirable properties
- temporal logic
- automated reasoning
- belief revision
- logic programming
- knowledge base