Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283): Difference between revisions

@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of ordered algebras
@@ Property / cites work: Varieties of ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality-free logic: the method of diagrams and preservation theorems
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+Normal rank
@@ Property / cites work @@
+Characterizing classes defined with equality
@@ Property / cites work: Characterizing classes defined with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Subdirect representation theory for classes without equality
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: models of \(\pi\)-institutions
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Partially ordered algebraic systems
+Normal rank
@@ Property / cites work @@
+Q5747514
@@ Property / cites work: Q5747514 / rank @@
+Normal rank