A study of intermediate predicate logics (Q1843560): Difference between revisions

@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / 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 @@
+Some results on the intermediate logics
@@ Property / cites work: Some results on the intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+On logics intermediate between intuitionistic and classical predicate logic
+Normal rank
@@ Property / cites work @@
+Applications of trees to intermediate logics
@@ Property / cites work: Applications of trees to intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank