Soundness and completeness of the Cirquent calculus system CL6 for computability logic.
Wenyan XuSanyang LiuPublished in: Log. J. IGPL (2012)
Keyphrases
- computer algebra
- natural deduction
- cut elimination
- algebraic structure
- sequent calculus
- formal language
- proof procedure
- computational properties
- logic programming
- proof search
- modal logic
- proof theoretic
- transition systems
- classical logic
- automated theorem proving
- asynchronous circuits
- first order logic
- relation algebra
- automated deduction
- predicate calculus
- linear logic
- artificial intelligence
- predicate logic
- defeasible logic
- multi valued
- inference rules
- digital circuits
- automated reasoning
- theorem prover
- programming language