Separating minimal, intuitionist, and classical logic.

Published in: Notre Dame J. Formal Log. (1983)

Keyphrases

classical logic
logic programming
modal logic
commonsense reasoning
possibilistic logic
intuitionistic logic
computer science and artificial intelligence
possibility theory
valued logic
default logic
autoepistemic logic
revision operators
logic programs
general logic programs