TRUTH AND FEASIBLE REDUCIBILITY (Q5107235): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2019.24
@@ Property / DOI: 10.1017/jsl.2019.24 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3099755591
@@ Property / OpenAlex ID: W3099755591 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00392
@@ Property / arXiv ID: 1902.00392 / rank @@
+Normal rank
@@ Property / cites work @@
+On mathematical instrumentalism
@@ Property / cites work: On mathematical instrumentalism / 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 @@
+MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH AND SPEED-UP
@@ Property / cites work: TRUTH AND SPEED-UP / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to self-referential truth
@@ Property / cites work: An axiomatic approach to self-referential truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+DISJUNCTIONS WITH STOPPING CONDITIONS
@@ Property / cites work: DISJUNCTIONS WITH STOPPING CONDITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+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 @@
+CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
+Normal rank
@@ Property / cites work @@
+Q3755452
@@ Property / cites work: Q3755452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+How truthlike can a predicate be? A negative result
+Normal rank
@@ Property / cites work @@
+Q3140645
@@ Property / cites work: Q3140645 / rank @@
+Normal rank
@@ Property / cites work @@
+NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2019.24
@@ Property / DOI: 10.1017/JSL.2019.24 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5107235