Cyclic Proofs, Hypersequents, and Transitive Closure Logic.
Anupam DasMarianna GirlandoPublished in: CoRR (2022)
Keyphrases
- transitive closure
- natural deduction
- expressive power
- first order logic
- query evaluation
- constraint databases
- query language
- directed acyclic graph
- theorem proving
- theorem prover
- recursive queries
- logic programming
- decision procedures
- horn clauses
- modal logic
- sequent calculus
- relational algebra
- inference rules
- spatial databases
- data mining
- integrity constraints
- xml data
- knowledge representation
- relational databases
- database systems
- machine learning