Fork me on GitHub
Math for the people, by the people.

User login

interpretation of intuitionistic logic by means of functionals

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

03-01 no label found03A05 no label found03B20 no label found

Comments

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

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

Subscribe to Comments for "interpretation of intuitionistic logic by  means of functionals"