Cyclic Proofs, Hypersequents, and Transitive Closure Logic.
Anupam DasMarianna GirlandoPublished in: IJCAR (2022)
Keyphrases
- transitive closure
- natural deduction
- expressive power
- first order logic
- query evaluation
- constraint databases
- spatial databases
- recursive queries
- directed acyclic graph
- theorem proving
- query language
- theorem prover
- fixed point semantics
- relational algebra
- horn clauses
- deductive databases
- machine learning
- multi dimensional
- co occurrence
- sequent calculus