The theory of homogeneous simple types as a second order logic

DOI10.1305/NDJFL/1093882656zbMath0314.02027OpenAlexW1979350946MaRDI QIDQ1220484

Nino B. Cocchiarella

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882656

zbMATH Keywords

HOMOGENEOUS SIMPLE TYPESNEW FOUNDATIONSSECOND-ORDER LOGIC

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (4)

A contingent Russell's paradox ⋮ Nominalization and Montague Grammar: A semantics without types for natural languages ⋮ Montague semantics, nominalization and Scott's domains ⋮ Three theories of nominalized predicates

This page was built for publication: The theory of homogeneous simple types as a second order logic