# interpretation of intuitionistic logic by means of functionals

## Primary tabs

Defines:
intuitionistic proof, functionals
Keywords:
constructive proof, Evidenz, Heyting's formal system, functionals
Synonym:
Brouwer's logic, intuitionistic foundations
Major Section:
Reference
Type of Math Object:
Topic

## Mathematics Subject Classification

### Birthday party for Dialectia Interpretation

Dialectia has published a special issue devoted to the "Dialectia Interpretation." Additionally, the 1958 volume in which the essay appeared has been placed online.
http://www.cs.nyu.edu/pipermail/fom/2008-November/013194.html

### Re: Birthday party for Dialectia Interpretation

Dear ratboy :
Thank you so much for your notice on the Dialectica birthday party. The PM entry on the interpretation of intuitionistic logic by means of functionals reports on the earlier motivation of the Dialectica paper and it is hoped that it will be usuful to newcomers trying to understand the definition of the propositional connectives in the 1958 paper.
I thank you again for your notice and
remain yours sincerely,
MSL