Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834): Difference between revisions

@@ 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 @@
+Some Difficulties Concerning Russellian Intensional Logic
+Normal rank
@@ Property / cites work @@
+Semantical antinomies in the logic of sense and denotation
+Normal rank
@@ Property / cites work @@
+Alonzo Church's Contributions to Philosophy and Intensional Logic
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+When are Two Algorithms the Same?
@@ Property / cites work: When are Two Algorithms the Same? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949915
@@ Property / cites work: Q4949915 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions and Attitude Ascriptions: A Fregean Account
+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 II)
+Normal rank
@@ Property / cites work @@
+A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
+Normal rank
@@ Property / cites work @@
+Q5316380
@@ Property / cites work: Q5316380 / rank @@
+Normal rank
@@ Property / cites work @@
+Frege, hilbert, and the conceptual structure of model theory
+Normal rank
@@ Property / cites work @@
+Q3838064
@@ Property / cites work: Q3838064 / rank @@
+Normal rank
@@ Property / cites work @@
+The Philosophical Basis of Our Knowledge of Number
+Normal rank
@@ Property / cites work @@
+On the consistency of the first-order portion of Frege's logical system
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661851
@@ Property / cites work: Q5661851 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
+Normal rank
@@ Property / cites work @@
+Q2846553
@@ Property / cites work: Q2846553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108293
@@ Property / cites work: Q4108293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4570895
@@ Property / cites work: Q4570895 / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i>
+Normal rank
@@ Property / cites work @@
+Q3822137
@@ Property / cites work: Q3822137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+The Senses of Functions in the Logic of Sense and Denotation
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Q2904376
@@ Property / cites work: Q2904376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858033
@@ Property / cites work: Q4858033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281260
@@ Property / cites work: Q4281260 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional logic in extensional language
@@ Property / cites work: Intensional logic in extensional language / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694961
@@ Property / cites work: Q5694961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793039
@@ Property / cites work: Q4793039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428895
@@ Property / cites work: Q4428895 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
+Normal rank
@@ Property / cites work @@
+Indefinite extensibility -- dialetheic style
@@ Property / cites work: Indefinite extensibility -- dialetheic style / rank @@
+Normal rank
@@ Property / cites work @@
+Carnap and logical truth
@@ Property / cites work: Carnap and logical truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588619
@@ Property / cites work: Q5588619 / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified view of (Complete) Regularity and Certain Variants of (Complete) Regularity
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine Structure
@@ Property / cites work: Fine Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559240
@@ Property / cites work: Q5559240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Peano arithmetic, Basic Law V, and Hume's Principle
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
+Normal rank
@@ Property / cites work @@
+FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE
+Normal rank
@@ Property / cites work @@
+Q4663840
@@ Property / cites work: Q4663840 / rank @@
+Normal rank