CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806): Difference between revisions

@@ Property / author @@
+Graham E. Leigh
@@ Property / author: Graham E. Leigh / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963331508
@@ Property / OpenAlex ID: W2963331508 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0168
@@ Property / arXiv ID: 1308.0168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative theories of classical truth
@@ Property / cites work: Conservative theories of classical truth / 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 @@
+MINIMAL TRUTH AND INTERPRETABILITY
@@ Property / cites work: MINIMAL TRUTH AND INTERPRETABILITY / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic account of classical principles of truth
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+Bounded Induction and Satisfaction Classes
@@ Property / cites work: Bounded Induction and Satisfaction Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
+Normal rank
@@ Property / cites work @@
+An ordinal analysis for theories of self-referential truth
+Normal rank