An application of constructive completeness (Q4647571): 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.1007/3-540-61780-9_63
+Normal rank
@@ Property / OpenAlex ID @@
+W104172771
@@ Property / OpenAlex ID: W104172771 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistically plausible interpretation of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4293477
@@ Property / cites work: Q4293477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Partially Ordered Sets
@@ Property / cites work: Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal models of Heyting arithmetic
@@ Property / cites work: Minimal models of Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and completeness proofs
@@ Property / cites work: Pretopologies and completeness proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4647571