A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (Q4777279): Difference between revisions

@@ Property / author @@
-Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
-Normal rank
@@ Property / author @@
-Dick H. J. de Jongh
@@ Property / author: Dick H. J. de Jongh / rank @@
-Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ Property / author @@
+Dick H. J. de Jongh
@@ Property / author: Dick H. J. de Jongh / rank @@
+Normal rank
@@ 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.2307/2272344
@@ Property / full work available at URL: https://doi.org/10.2307/2272344 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2106716518
@@ Property / OpenAlex ID: W2106716518 / rank @@
+Normal rank
@@ Property / cites work @@
+On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank