Soundness and completeness of the cirquent calculus system CL6 for computability logic
Wenyan XuSanyang LiuPublished in: CoRR (2011)
Keyphrases
- computer algebra
- formal language
- natural deduction
- cut elimination
- proof search
- logic programming
- computational properties
- sequent calculus
- transition systems
- modal logic
- linear logic
- algebraic structure
- multi valued
- automated theorem proving
- predicate logic
- proof theory
- proof procedure
- classical logic
- relation algebra
- proof theoretic
- sound and complete axiomatization
- data model
- provably correct
- automated reasoning
- expressive power
- logic programs
- programming language
- database systems
- lambda calculus
- tableau calculus
- databases
- real time