On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction.
Andreas AbelPublished in: TYPES (2020)
Keyphrases
- model theoretic
- natural deduction
- proof theoretic
- cut elimination
- truth table
- decision procedures
- deductive databases
- description logics
- theorem proving
- linear logic
- operational semantics
- inference rules
- theorem prover
- sequent calculus
- logic programs
- fixpoint
- default reasoning
- defeasible logic
- modal logic
- probabilistic reasoning
- boolean functions
- dnf formulas
- membership queries
- integrity constraints
- first order logic