Normalization Theorems for Full First Order Classical Natural Deduction.
Gunnar StålmarckPublished in: J. Symb. Log. (1991)
Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- first order logic
- theorem prover
- inference rules
- theorem proving
- linear logic
- intuitionistic logic
- higher order
- finite model theory
- classical first order logic
- sufficient conditions
- preprocessing
- automated reasoning
- probabilistic reasoning
- inductive logic programming
- fixed point
- logical theories
- expert systems
- machine learning