Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039): Difference between revisions

@@ Property / Wikidata QID @@
+Q124880472
@@ Property / Wikidata QID: Q124880472 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335229
@@ Property / cites work: Q4335229 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Characterizations for Universal Fragments of Logic
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Algebraizable institutions
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: more on protoalgebraicity
+Normal rank
@@ Property / cites work @@
+Q5747514
@@ Property / cites work: Q5747514 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
+Normal rank