A disquotational theory of truth as strong as \(Z_2^-\) (Q496323): Difference between revisions

@@ Property / DOI @@
-.1007/s10992-014-9327-5
@@ Property / DOI: 10.1007/s10992-014-9327-5 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-014-9327-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2070477489
@@ Property / OpenAlex ID: W2070477489 / rank @@
+Normal rank
@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / 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 theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+On the Consistency of a Positive Theory
@@ Property / cites work: On the Consistency of a Positive Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+A revenge-immune solution to the semantic paradoxes
+Normal rank
@@ Property / cites work @@
+Maximal consistent sets of instances of Tarski's schema (T)
+Normal rank
@@ Property / cites work @@
+Truth and reduction
@@ Property / cites work: Truth and reduction / rank @@
+Normal rank
@@ Property / cites work @@
+REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
@@ Property / cites work: REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on naive semantics
@@ Property / cites work: Notes on naive semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661895
@@ Property / cites work: Q4661895 / 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 @@
+What truth depends on
@@ Property / cites work: What truth depends on / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR GROUNDED TRUTH
@@ Property / cites work: AXIOMS FOR GROUNDED TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH
+Normal rank
@@ Property / DOI @@
+.1007/S10992-014-9327-5
@@ Property / DOI: 10.1007/S10992-014-9327-5 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:496323