Predicate calculus of arbitrarily high finite order (Q3309804): 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 / cites work @@
+A deduction theorem for restricted generality
@@ Property / cites work: A deduction theorem for restricted generality / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional and predicate calculus based on combinatory logic
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of a system of combinatory restricted generality
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
+Normal rank
@@ Property / cites work @@
+Q4068705
@@ Property / cites work: Q4068705 / rank @@
+Normal rank
@@ Property / cites work @@
+The \(Q\)-consistency of \(F_{22}\)
@@ Property / cites work: The \(Q\)-consistency of \(F_{22}\) / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2071926437
@@ Property / OpenAlex ID: W2071926437 / rank @@
+Normal rank