Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data

 
Books on Amazon
Berka I187
Completeness/intuitionistic predicate calculus/Berka: the completeness with regard to the semantics of Kripke and Lorenzen has been proved several times, but always with classical means.
An intuitionist completeness proof has not yet been found (1983). On the contrary. Kreisel (1962) proved that the intuitionist predicate calculus follows intuitionistically from the intuitionist Church thesis.

Lorn I
P. Lorenzen
Constructive Philosophy Cambridge 1987


> Counter arguments against Lorenzen



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-23