A Calculus of Circular Proofs and Its Categorical Semantics.
Luigi SantocanalePublished in: FoSSaCS (2002)
Keyphrases
- natural deduction
- theorem proving
- sequent calculus
- formal language
- database query languages
- relational calculus
- logic programming
- cut elimination
- formal semantics
- hough transform
- algebraic structure
- inference rules
- proof procedure
- proof search
- decision procedures
- operational semantics
- categorical data
- expressive power
- proof theoretic
- database systems
- equational theories
- default reasoning
- theorem prover
- conceptual model
- data model