N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp.
Davide CattaPublished in: Bull. Symb. Log. (2019)
Keyphrases
- proof theoretic
- proof theory
- model theoretic
- nonmonotonic reasoning
- default reasoning
- linear logic
- intuitionistic logic
- fixpoint
- constraint logic programming
- deductive databases
- description logics
- logic programming
- automated reasoning
- cut elimination
- reasoning problems
- operational semantics
- logic programs
- ontology languages
- default logic
- belief revision
- expert systems
- temporal reasoning
- data model