Three theories of nominalized predicates

DOI10.1007/BF00379765zbMath0588.03011OpenAlexW1992703106MaRDI QIDQ1073011

Raymond Turner

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00379765

zbMATH Keywords

nominalizationScott domainComprehensionFeferman-Gillmore formatFregean logic with Quinean stratificationstratified formulathree-valued Aczel-Feferman type-free logic

Mathematics Subject Classification ID

Logic of natural languages (03B65) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The theory of homogeneous simple types as a second order logic
• Temporal discourse and semantical games
• Montague semantics, nominalization and Scott's domains
• Toward useful type-free theories. I

This page was built for publication: Three theories of nominalized predicates