The taming of recurrences in computability logic through cirquent calculus, Part II
Giorgi JaparidzePublished in: CoRR (2011)
Keyphrases
- computer algebra
- natural deduction
- sequent calculus
- algebraic structure
- proof procedure
- cut elimination
- modal logic
- formal language
- relation algebra
- logic programming
- proof search
- automated reasoning
- transition systems
- computational properties
- automated theorem proving
- first order logic
- linear time temporal logic
- theorem prover
- multi valued
- defeasible logic
- neural network
- inference rules
- tableau calculus
- nonmonotonic logics
- provably correct
- logical framework
- propositional logic
- belief revision
- information systems
- genetic algorithm