A normative model of classical reasoning in higher order languages

pp. 309-343

Abstrakt

The present paper is concerned with a ramified type theory (cf. (Lorenzen 1955), (Russell), (Schütte), (Weyl), e.g.,) in a cumulative version.

Published in:

(2006) Synthese 148 (2).

Seiten: 309-343

Referenz:

Zahn Peter (2006) „A normative model of classical reasoning in higher order languages“. Synthese 148 (2), 309–343.