[FOM] decidability of intuitionistic propositional logic

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Tue Nov 30 09:06:15 EST 2004

Previous message: [FOM] proof theory cousre
Next message: [FOM] Re: Shapiro on natural and formal languages
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Question for fom-ers:

Who was the first person to state and/or prove that theoremhood in
intuitionistic propositional logic is decidable?

Neil Tennant

Previous message: [FOM] proof theory cousre
Next message: [FOM] Re: Shapiro on natural and formal languages
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list