[FOM] Question of the Day: What is a Logic?

Andrej Bauer Andrej.Bauer at fmf.uni-lj.si
Sun Oct 8 15:34:26 EDT 2006

Previous message: [FOM] Question of the Day: What is a Logic?
Next message: [FOM] Question of the Day: What is a Logic?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear Arnon,

why do you say that classical logic is the metalogic of intuitionistic 
logic?

Andrej

Previous message: [FOM] Question of the Day: What is a Logic?
Next message: [FOM] Question of the Day: What is a Logic?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list