[FOM] decidability of intuitionistic propositional logic
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