A weak absolute consistency proof for some systems of illative combinatory logic (Q3043111): Difference between revisions

@@ Property / author @@
+Martin W. Bunder
@@ Property / author: Martin W. Bunder / 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.2307/2273470
@@ Property / full work available at URL: https://doi.org/10.2307/2273470 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2159676458
@@ Property / OpenAlex ID: W2159676458 / rank @@
+Normal rank
@@ Property / cites work @@
+Illative combinatory logic without equality as a primitive predicate
+Normal rank
@@ Property / cites work @@
+Progress report on generalized functionality
@@ Property / cites work: Progress report on generalized functionality / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
+Normal rank
@@ Property / cites work @@
+Q3752369
@@ Property / cites work: Q3752369 / rank @@
+Normal rank