Splitting lattices of logics (Q3900020): Difference between revisions

@@ Property / author @@
-Wolfgang Rautenberg
@@ Property / author: Wolfgang Rautenberg / rank @@
-Normal rank
@@ Property / author @@
+Wolfgang Rautenberg
@@ Property / author: Wolfgang Rautenberg / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187793
@@ Property / cites work: Q4187793 / rank @@
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+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 @@
+Some embedding theorems for modal logic
@@ Property / cites work: Some embedding theorems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189275
@@ Property / cites work: Q4189275 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Verband der normalen verzweigten Modallogiken
@@ Property / cites work: Der Verband der normalen verzweigten Modallogiken / rank @@
+Normal rank