A note on cut-elimination for classical propositional logic.
Gabriele PulciniPublished in: Arch. Math. Log. (2022)
Keyphrases
- propositional logic
- cut elimination
- sequent calculus
- horn logic
- first order logic
- belief revision
- linear logic
- inference rules
- valued logic
- natural deduction
- quantified boolean formulae
- machine learning
- propositional satisfiability
- horn contraction
- default reasoning
- proof procedure
- wide class
- modal logic
- sufficient conditions
- search algorithm