| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 6745050 (Why is no real title available?) | 2017-07-14 | Paper |
Second-Order Theories of Predication: Old and New Foundations
Nôus | 2017-07-14 | Paper |
Two views of the logic of plurals and a reduction of one to the other
Studia Logica | 2015-09-15 | Paper |
Formal ontology and conceptual realism
Synthese Library | 2010-09-22 | Paper |
Mass nouns in a logic of classes as many
Journal of Philosophical Logic | 2009-06-19 | Paper |
| Modal logic. An introduction to its syntax and semantics | 2008-10-31 | Paper |
| scientific article; zbMATH DE number 2160652 (Why is no real title available?) | 2005-04-22 | Paper |
A conceptualist interpretation of Lesniewski's ontology
History and Philosophy of Logic | 2004-02-16 | Paper |
On the logic of classes as many
Studia Logica | 2002-07-08 | Paper |
Russell's paradox of the totality of propositions
Nordic Journal of Philosophical Logic | 2001-02-19 | Paper |
| scientific article; zbMATH DE number 1028835 (Why is no real title available?) | 1997-07-08 | Paper |
| scientific article; zbMATH DE number 1028808 (Why is no real title available?) | 1997-07-08 | Paper |
Predication versus membership in the distinction between logic as language and logic a calculus
Synthese | 1993-02-02 | Paper |
Cantor's power-set theorem versus frege's double-correlation thesis
History and Philosophy of Logic | 1993-01-16 | Paper |
Conceptual realism versus Quine on classes and higher-order logic
Synthese | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 3993529 (Why is no real title available?) | 1986-01-01 | Paper |
Frege's double correlation thesis and Quine's set theories NF and ML
Journal of Philosophical Logic | 1985-01-01 | Paper |
Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Nominalism and conceptualism as predicative second-order theories of predication
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy
Synthese | 1980-01-01 | Paper |
The theory of homogeneous simple types as a second order logic
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3604868 (Why is no real title available?) | 1977-01-01 | Paper |
A Note on the Definition of Identity in Quine's New Foundations
Mathematical Logic Quarterly | 1976-01-01 | Paper |
On the primary and secondary semantics of logical necessity
Journal of Philosophical Logic | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3542401 (Why is no real title available?) | 1975-01-01 | Paper |
Logical atomism, nominalism, and modal logic
Synthese | 1975-01-01 | Paper |
Fregean semantics for realistic ontology
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3534461 (Why is no real title available?) | 1974-01-01 | Paper |
A second order logic of existence
Journal of Symbolic Logic | 1969-01-01 | Paper |
A completeness theorem in second order modal logic
Theoria | 1969-01-01 | Paper |
A substitution free axiom set for second order logic
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
