Intuitionistic choice and classical logic.

Thierry Coquand Erik Palmgren

Published in: Arch. Math. Log. (2000)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
intuitionistic logic
autoepistemic logic
valued logic
default logic
automated theorem proving
revision operators
possibility theory
rationality postulates
genetic algorithm
pattern recognition
incomplete information
deductive databases