Negative equivalence of extensions of minimal logic (Q1770621): Difference between revisions

@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5764366
@@ Property / cites work: Q5764366 / rank @@
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q5532530
@@ Property / cites work: Q5532530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770968
@@ Property / cites work: Q2770968 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of classical refutability and class of extensions of minimal logic
+Normal rank
@@ Property / cites work @@
+Q4549876
@@ Property / cites work: Q4549876 / 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 @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing a continuum of predicate extensions of each intermediate propositional logic
+Normal rank
@@ Property / cites work @@
+A note on JP'
@@ Property / cites work: A note on JP' / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109644
@@ Property / cites work: Q4109644 / rank @@
+Normal rank