Cut elimination for coherent theories in negation normal form.
Paolo MaffezioliPublished in: Arch. Math. Log. (2024)
Keyphrases
- normal form
- cut elimination
- sequent calculus
- linear logic
- logic programming
- database design
- wide class
- functional dependencies
- natural deduction
- nested relations
- relational databases
- inference rules
- relational algebra
- data dependencies
- sufficient conditions
- linear time temporal logic
- logic programs
- modal logic
- horn clauses
- case study
- fixpoint
- set of functional dependencies
- theorem proving
- predicate logic
- decision theory
- nonmonotonic reasoning
- desirable properties
- programming language
- probability distribution
- database systems