Constructive Classical Logic as CPS-Calculus.
Ichiro OgataPublished in: Int. J. Found. Comput. Sci. (2000)
Keyphrases
- classical logic
- automated theorem proving
- sequent calculus
- logic programming
- modal logic
- possibilistic logic
- intuitionistic logic
- autoepistemic logic
- valued logic
- computer science and artificial intelligence
- possibility theory
- default logic
- general purpose
- revision operators
- cut elimination
- logic programs
- natural deduction
- programming language
- bayesian networks
- machine learning