[FOM] Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il

Rene Vestergaard vester at jaist.ac.jp
Sun Nov 6 17:53:20 EST 2005

Previous message: [FOM] colour or colours
Next message: [FOM] Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Is it known whether intuitionistic "Ax(Fx v ~Fx)" is equivalent to some 
classical formula?

Cheers,
RV

Previous message: [FOM] colour or colours
Next message: [FOM] Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list