Some results on the intermediate logics (Q2557689): Difference between revisions

@@ Property / cites work @@
+The decidability of the Kreisel-Putnam system
@@ Property / cites work: The decidability of the Kreisel-Putnam system / rank @@
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619070
@@ Property / cites work: Q5619070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Q5813911
@@ Property / cites work: Q5813911 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models and intermediate logics
@@ Property / cites work: Kripke models and intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite model property for Kripke models
@@ Property / cites work: On the finite model property for Kripke models / rank @@
+Normal rank