Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Lorenzen, Paul
 
Books on Amazon
Completeness 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



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-27