[Haskell-cafe] Re: Propositional logic question

Bulat Ziganshin bulat.ziganshin at gmail.com
Tue Jun 26 09:25:31 EDT 2007


Hello apfelmus,

Tuesday, June 26, 2007, 12:45:54 PM, you wrote:

> That works for classical logic where ¬A \/ A always holds, but the task
> here is to prove it for intuitionistic logic.

is it the same as so-called "woman logic"? :)


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com



More information about the Haskell-Cafe mailing list