classical logic

Non-intuitionistic logic.