HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590): Difference between revisions

@@ Property / cites work @@
+Q5203175
@@ Property / cites work: Q5203175 / rank @@
+Normal rank
@@ Property / cites work @@
+Injective and Projective Heyting Algebras
@@ Property / cites work: Injective and Projective Heyting Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On not strengthening intuitionistic logic
@@ Property / cites work: On not strengthening intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite varieties of Heyting algebras
@@ Property / cites work: Locally finite varieties of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3772270
@@ Property / cites work: Q3772270 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiomatizability of locally tabular superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Q4049132
@@ Property / cites work: Q4049132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820592
@@ Property / cites work: Q4820592 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive universal classes in locally finite varieties
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Well quasi-order in combinatorics: embeddings and homomorphisms
+Normal rank
@@ Property / cites work @@
+THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
@@ Property / cites work: THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE" / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590782
@@ Property / cites work: Q5590782 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682023
@@ Property / cites work: Q5682023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133602
@@ Property / cites work: Q4133602 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of implicative semi-lattices. II
@@ Property / cites work: Varieties of implicative semi-lattices. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146710
@@ Property / cites work: Q4146710 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the notion of completeness of invariant propositional calculi
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+Q5636854
@@ Property / cites work: Q5636854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133597
@@ Property / cites work: Q4133597 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules and the Leibniz hierarchy
@@ Property / cites work: Admissible rules and the Leibniz hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditarily structurally complete modal logics
@@ Property / cites work: Hereditarily structurally complete modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+On decision procedures for sentential logics
@@ Property / cites work: On decision procedures for sentential logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518356
@@ Property / cites work: Q5518356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762312
@@ Property / cites work: Q3762312 / rank @@
+Normal rank