Completeness in the theory of properties, relations, and propositions

DOI10.2307/2273559zbMath0519.03017OpenAlexW2022022264MaRDI QIDQ3669381

George Bealer

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

zbMATH Keywords

completenessintensional logicalgebraic semantic methodfirst-order theory of properties, relations, and propositionsintensional abstractionprimitive entities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

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