Levels of truth (Q1903585): Difference between revisions

@@ Property / cites work @@
+Q4012874
@@ Property / cites work: Q4012874 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705449
@@ Property / cites work: Q3705449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764134
@@ Property / cites work: Q3764134 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of abstraction related to finite constructive number classes
+Normal rank
@@ Property / cites work @@
+Logical frameworks for truth and abstraction. An axiomatic study
+Normal rank
@@ Property / cites work @@
+Jon Barwise's Papers on Natural Language Semantics
+Normal rank
@@ Property / cites work @@
+Q4087148
@@ Property / cites work: Q4087148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671968
@@ Property / cites work: Q3671968 / rank @@
+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 @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671967
@@ Property / cites work: Q3671967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960845
@@ Property / cites work: Q3960845 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretical analysis: Weak systems of functions and classes
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of admissibility without foundation
@@ Property / cites work: The strength of admissibility without foundation / 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 @@
+Constructive definition of certain analytic sets of numbers
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283245
@@ Property / cites work: Q4283245 / rank @@
+Normal rank
@@ Property / cites work @@
+The liar paradox
@@ Property / cites work: The liar paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on extending and interpreting theories with a partial predicate for truth
+Normal rank
@@ Property / cites work @@
+Q4079598
@@ Property / cites work: Q4079598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109651
@@ Property / cites work: Q4109651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4482753
@@ Property / cites work: Q4482753 / rank @@
+Normal rank