Philosophy:Dual-intuitionistic logic