VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233): Difference between revisions

@@ Property / cites work @@
+Positive fragments of coalgebraic logics
@@ Property / cites work: Positive fragments of coalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Positive provability logic for uniform reflection principles
+Normal rank
@@ Property / cites work @@
+A Note on Strictly Positive Logics and Word Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4011709
@@ Property / cites work: Q4011709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329235
@@ Property / cites work: Q4329235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+A new semantics for positive modal logic
@@ Property / cites work: A new semantics for positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
+Normal rank
@@ Property / cites work @@
+Simple and subdirectly irreducibles bounded distributive lattices with unary operators
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198474
@@ Property / cites work: Q4198474 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting algebras and a weak notion of projectivity
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Almost structural completeness; an algebraic approach
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices of quasivarieties
@@ Property / cites work: Lattices of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4530155
@@ Property / cites work: Q4530155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702938
@@ Property / cites work: Q3702938 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+Equational Bases and Nonmodular Lattice Varieties
@@ Property / cites work: Equational Bases and Nonmodular Lattice Varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Finitely Generated Quasivarieties
+Normal rank
@@ Property / cites work @@
+Varieties of De Morgan monoids: minimality and irreducible algebras
+Normal rank
@@ Property / cites work @@
+Q4500376
@@ Property / cites work: Q4500376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483012
@@ Property / cites work: Q5483012 / 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 @@
+Q2843730
@@ Property / cites work: Q2843730 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+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 @@
+Structural completeness in relevance logics
@@ Property / cites work: Structural completeness in relevance logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on the s. c. free closure algebras
@@ Property / cites work: A remark on the s. c. free closure algebras / 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