Property theory: The type-free approach \(v\). The Church approach
From MaRDI portal
Publication:1319264
DOI10.1007/BF01050341zbMath0800.03003MaRDI QIDQ1319264
Publication date: 12 April 1994
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items (2)
INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ ⋮ Complex predicates and logics for properties and relations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some remarks on extending and interpreting theories with a partial predicate for truth
- First-order modal theories
- The liar paradox
- Truth and paradox
- Completeness in the theory of properties, relations, and propositions
- Toward useful type-free theories. I
- A theory of properties
- A consistent combinatory logic with an inverse to equality
- Outline of a Theory of Truth
- Some New Axioms for the Logic of Sense and Denotation: Alternative (0)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
- The system CΔ of combinatory logic
- New Foundations for Mathematical Logic
- An extension of basic logic
This page was built for publication: Property theory: The type-free approach \(v\). The Church approach