Canonical varieties with no canonical axiomatisation (Q5461397): Difference between revisions

@@ Property / author @@
-I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
-Normal rank
@@ Property / author @@
-Yde Venema
@@ Property / author: Yde Venema / rank @@
-Normal rank
@@ Property / author @@
+I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
+Normal rank
@@ Property / author @@
+Yde Venema
@@ Property / author: Yde Venema / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the disjunction property of propositional logics and other related problems
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidable problem in correspondence theory
@@ Property / cites work: An undecidable problem in correspondence theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342632
@@ Property / cites work: Q4342632 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Theory and Probability
@@ Property / cites work: Graph Theory and Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating polyadic modal logics by monadic ones
@@ Property / cites work: Simulating polyadic modal logics by monadic ones / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Relations and Chromatic Graphs
@@ Property / cites work: Combinatorial Relations and Chromatic Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Step by step – Building representations in algebraic logic
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly representable atom structures of relation algebras
+Normal rank
@@ Property / cites work @@
+Atom structures of cylindric algebras and relation algebras
+Normal rank
@@ Property / cites work @@
+Every world can see a reflexive world
@@ Property / cites work: Every world can see a reflexive world / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273435
@@ Property / cites work: Q4273435 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Modular Lattices and Of Relation Algebras
+Normal rank
@@ Property / cites work @@
+Q4011720
@@ Property / cites work: Q4011720 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices of modal logics and their groups of automorphisms
+Normal rank
@@ Property / cites work @@
+Normal monomodal logics can simulate all others
@@ Property / cites work: Normal monomodal logics can simulate all others / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and projective geometries
@@ Property / cites work: Relation algebras and projective geometries / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for relation algebras
@@ Property / cites work: A sequent calculus for relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011723
@@ Property / cites work: Q4011723 / rank @@
+Normal rank
@@ Property / cites work @@
+On representable relation algebras
@@ Property / cites work: On representable relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989950
@@ Property / cites work: Q3989950 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Atom structures and Sahlqvist equations
@@ Property / cites work: Atom structures and Sahlqvist equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329247
@@ Property / cites work: Q4329247 / rank @@
+Normal rank
@@ Property / cites work @@
+Atomless varieties
@@ Property / cites work: Atomless varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329229
@@ Property / cites work: Q4329229 / rank @@
+Normal rank