The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.
Heinrich WansingPublished in: Stud Logica (2000)
Keyphrases
- proof theoretic
- logical operations
- model theoretic
- proof theory
- default reasoning
- nonmonotonic reasoning
- linear logic
- constraint logic programming
- fixpoint
- description logics
- deductive databases
- decision procedures
- logic programming
- automated reasoning
- operational semantics
- natural language
- databases
- speech acts
- desirable properties
- object oriented