On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.
Nissim FrancezPublished in: Logica Universalis (2015)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- linear logic
- default reasoning
- nonmonotonic reasoning
- fixpoint
- constraint logic programming
- description logics
- deductive databases
- operational semantics
- belief revision
- artificial intelligence
- logic programs
- cut elimination
- decision procedures
- integrity constraints
- logic programming