Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik (Q2553430): Difference between revisions

@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Hauptsatz for higher order logic
@@ Property / cites work: Hauptsatz for higher order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+A proof of cut-elimination theorem in simple type-theory
+Normal rank