All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597): Difference between revisions

@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+The disjunction property of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+ON FINITE APPROXIMABILITY OF SUPERINTUITIONISTIC LOGICS
+Normal rank
@@ Property / cites work @@
+A method to single out maximal propositional logics with the disjunction property. I
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+A sheaf representation and duality for finitely presented Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q4189277
@@ Property / cites work: Q4189277 / rank @@
+Normal rank
@@ Property / cites work @@
+On canonicity and strong completeness conditions in intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+A method to single out maximal propositional logics with the disjunction property. II
+Normal rank