A model theoretic proof of Feferman's preservation theorem.
David MarkerPublished in: Notre Dame J. Formal Log. (1984)
Keyphrases
- model theoretic
- proof theoretic
- decision procedures
- interactive theorem proving
- proof procedure
- description logics
- deductive databases
- presburger arithmetic
- operational semantics
- default reasoning
- fixpoint
- logic programs
- proof theory
- linear logic
- theorem proving
- probabilistic reasoning
- automated reasoning
- nonmonotonic reasoning
- quantifier elimination
- modal logic
- artificial intelligence
- conjunctive queries
- logic programming
- general purpose
- expert systems
- theorem prover
- constraint logic programming
- probability distribution
- high level