[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