[FOM] decidability of intuitionistic propositional logic

Richard Zach rzach at ucalgary.ca
Wed Dec 1 14:43:53 EST 2004

On Tue, 2004-11-30 at 09:06 -0500, Neil Tennant wrote:
> Question for fom-ers:
> Who was the first person to state and/or prove that theoremhood in
> intuitionistic propositional logic is decidable?

Gerhard Gentzen, Untersuchungen über das logische Schließen II,
Mathematische Zeitschrift 39 (1934): 405-431.

Section IV, Paragraph 1.2 is entitled "Solution of the decision problem
for intuitionistic propositional logic"

Richard Zach ...... http://www.ucalgary.ca/~rzach/
Associate  Professor,   Department  of  Philosophy
University of Calgary, Calgary, AB T2N 1N4, Canada

More information about the FOM mailing list