Failure of Completeness in Proof-Theoretic Semantics.
Thomas PiechaWagner de Campos SanzPeter Schroeder-HeisterPublished in: J. Philos. Log. (2015)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- default reasoning
- nonmonotonic reasoning
- linear logic
- constraint logic programming
- deductive databases
- fixpoint
- logic programs
- belief revision
- decision procedures
- description logics
- relational databases
- semantic web
- constraint programming
- probabilistic inference
- knowledge base
- operational semantics
- query language