Dual-intuitionistic logic

Summary