Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic

DOI10.1305/NDJFL/1093870930zbMath0588.03006OpenAlexW1991392082MaRDI QIDQ1073008

Nino B. Cocchiarella

Publication date: 1985

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

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

zbMATH Keywords

type theoryFregean semanticslambda abstractsnominalized predicatesweak Zermelo set theory

Mathematics Subject Classification ID

Related Items (2)

A contingent Russell's paradox ⋮ Conceptual realism versus Quine on classes and higher-order logic

This page was built for publication: Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic