Truth-maker semantics for intuitionistic logic (Q484121): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-013-9281-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2085342194
@@ Property / OpenAlex ID: W2085342194 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q5704418
@@ Property / cites work: Q5704418 / rank @@
+Normal rank
@@ Property / cites work @@
+On A neglected path to intuitionism
@@ Property / cites work: On A neglected path to intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549788
@@ Property / cites work: Q5549788 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank