A feasible theory of truth over combinatory algebra (Q2637706): Difference between revisions

@@ 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.1016/j.apal.2013.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2073850897
@@ Property / OpenAlex ID: W2073850897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3800030
@@ Property / cites work: Q3800030 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical frameworks for truth and abstraction. An axiomatic study
+Normal rank
@@ Property / cites work @@
+Q4395609
@@ Property / cites work: Q4395609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702663
@@ Property / cites work: Q5702663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q4981445
@@ Property / cites work: Q4981445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010354
@@ Property / cites work: Q4010354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893132
@@ Property / cites work: Q4893132 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR DETERMINATENESS AND TRUTH
@@ Property / cites work: AXIOMS FOR DETERMINATENESS AND TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+The unfolding of non-finitist arithmetic
@@ Property / cites work: The unfolding of non-finitist arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+UNFOLDING FINITIST ARITHMETIC
@@ Property / cites work: UNFOLDING FINITIST ARITHMETIC / 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 @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452018
@@ Property / cites work: Q5452018 / rank @@
+Normal rank
@@ Property / cites work @@
+The provably terminating operations of the subsystem PETJ of explicit mathematics
+Normal rank
@@ Property / cites work @@
+Elementary explicit types and polynomial time operations
+Normal rank
@@ Property / cites work @@
+Realisability in weak systems of explicit mathematics
+Normal rank
@@ Property / cites work @@
+Theories with self-application and computational complexity.
+Normal rank