Intuitionistic Choice and Restricted Classical Logic.

Ulrich Kohlenbach

Published in: Math. Log. Q. (2001)

Keyphrases

classical logic
logic programming
modal logic
intuitionistic logic
possibilistic logic
autoepistemic logic
default logic
logic programs
valued logic
revision operators
possibility theory
automated theorem proving
knowledge base
natural language
relational databases