The taming of recurrences in computability logic through cirquent calculus
Giorgi JaparidzePublished in: CoRR (2011)
Keyphrases
- computer algebra
- natural deduction
- formal language
- sequent calculus
- algebraic structure
- cut elimination
- proof procedure
- proof search
- logic programming
- modal logic
- classical logic
- automated theorem proving
- computational properties
- linear logic
- multi valued
- proof theoretic
- asynchronous circuits
- relation algebra
- predicate logic
- logical framework
- automated reasoning
- propositional logic
- inference rules
- probability theory
- tableau calculus
- linear time temporal logic
- first order logic