Publication details
Year: 2006
Pages: 309-343
Series: Synthese
Full citation:
, "A normative model of classical reasoning in higher order languages", Synthese 148 (2), 2006, pp. 309-343.
A normative model of classical reasoning in higher order languages
pp. 309-343
in: Synthese 148 (2), 2006.Abstract
The present paper is concerned with a ramified type theory (cf. (Lorenzen 1955), (Russell), (Schütte), (Weyl), e.g.,) in a cumulative version.
Cited authors
Publication details
Year: 2006
Pages: 309-343
Series: Synthese
Full citation:
, "A normative model of classical reasoning in higher order languages", Synthese 148 (2), 2006, pp. 309-343.