A normative model of classical reasoning in higher order languages
pp. 309-343
Résumé
The present paper is concerned with a ramified type theory (cf. (Lorenzen 1955), (Russell), (Schütte), (Weyl), e.g.,) in a cumulative version.
Détails de la publication
Publié dans:
(2006) Synthese 148 (2).
Pages: 309-343
DOI: 10.1007/s11229-004-6225-3
Citation complète:
Zahn Peter, 2006, A normative model of classical reasoning in higher order languages. Synthese 148 (2), 309-343. https://doi.org/10.1007/s11229-004-6225-3.