A CPS-Transform of Constructive Classical Logic.

Published in: ASIAN (1999)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
default logic
commonsense reasoning
valued logic
computer science and artificial intelligence
possibility theory
autoepistemic logic
intuitionistic logic
deductive databases
bayesian networks
revision operators