Property theory: The type-free approach v. The Church approach
From MaRDI portal
(Redirected from Publication:1319264)
Property theory: The type-free approach \(v\). The Church approach
Property theory: The type-free approach \(v\). The Church approach
Cites work
- A consistent combinatory logic with an inverse to equality
- A theory of properties
- An extension of basic logic
- Completeness in the theory of properties, relations, and propositions
- First-order modal theories
- scientific article; zbMATH DE number 4010467 (Why is no real title available?)
- scientific article; zbMATH DE number 3722625 (Why is no real title available?)
- scientific article; zbMATH DE number 50690 (Why is no real title available?)
- scientific article; zbMATH DE number 3484054 (Why is no real title available?)
- scientific article; zbMATH DE number 1032006 (Why is no real title available?)
- scientific article; zbMATH DE number 1442964 (Why is no real title available?)
- scientific article; zbMATH DE number 3198017 (Why is no real title available?)
- scientific article; zbMATH DE number 3086346 (Why is no real title available?)
- New Foundations for Mathematical Logic
- 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)
- Outline of a Theory of Truth
- Some New Axioms for the Logic of Sense and Denotation: Alternative (0)
- Some remarks on extending and interpreting theories with a partial predicate for truth
- The liar paradox
- The system CΔ of combinatory logic
- Toward useful type-free theories. I
- Truth and paradox
Cited in
(5)
This page was built for publication: Property theory: The type-free approach \(v\). The Church approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1319264)
