Property theory: The type-free approach \(v\). The Church approach (Q1319264): Difference between revisions

@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Some New Axioms for the Logic of Sense and Denotation: Alternative (0)
+Normal rank
@@ Property / cites work @@
+Q4343987
@@ Property / cites work: Q4343987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of properties, relations, and propositions
+Normal rank
@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
+Normal rank
@@ Property / cites work @@
+Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal theories
@@ Property / cites work: First-order modal theories / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic logic
@@ Property / cites work: An extension of basic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The system CΔ of combinatory logic
@@ Property / cites work: The system CΔ of combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+A consistent combinatory logic with an inverse to equality
+Normal rank
@@ Property / cites work @@
+Q4067100
@@ Property / cites work: Q4067100 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth and paradox
@@ Property / cites work: Truth and paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3760496
@@ Property / cites work: Q3760496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000317
@@ Property / cites work: Q4000317 / rank @@
+Normal rank
@@ Property / cites work @@
+The liar paradox
@@ Property / cites work: The liar paradox / rank @@
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734418
@@ Property / cites work: Q5734418 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on extending and interpreting theories with a partial predicate for truth
+Normal rank
@@ Property / cites work @@
+A theory of properties
@@ Property / cites work: A theory of properties / rank @@
+Normal rank