Completeness in the theory of properties, relations, and propositions
From MaRDI portal
Publication:3669381
DOI10.2307/2273559zbMath0519.03017OpenAlexW2022022264MaRDI QIDQ3669381
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273559
completenessintensional logicalgebraic semantic methodfirst-order theory of properties, relations, and propositionsintensional abstractionprimitive entities
Related Items (4)
Nominalization and Montague Grammar: A semantics without types for natural languages ⋮ Possible worlds for modal primitivists ⋮ Complex predicates and logics for properties and relations ⋮ Property theory: The type-free approach \(v\). The Church approach
This page was built for publication: Completeness in the theory of properties, relations, and propositions