Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik (Q5641136): Difference between revisions

@@ Property / cites work @@
+A Henkin completeness theorem for T
@@ Property / cites work: A Henkin completeness theorem for T / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339292
@@ Property / cites work: Q5339292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579472
@@ Property / cites work: Q5579472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551113
@@ Property / cites work: Q5551113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538910
@@ Property / cites work: Q5538910 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strong semantical completeness of the intuitionistic predicate calculus
+Normal rank