classical logic


classical logic

(logic)Non-intuitionistic logic.