Axioms vs. rewrite rules: from completeness to cut elimination.
Gilles DowekPublished in: CoRR (2023)
Keyphrases
- rewrite rules
- cut elimination
- sequent calculus
- linear logic
- wide class
- inference rules
- natural deduction
- rewriting rules
- transformation rules
- first order logic
- knowledge base
- consistency constraints
- linear time temporal logic
- sufficient conditions
- sql queries
- modal logic
- query optimization
- theorem prover
- theorem proving
- logic programs
- relational databases
- databases