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

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200610034
+Normal rank
@@ Property / OpenAlex ID @@
+W2007486200
@@ Property / OpenAlex ID: W2007486200 / rank @@
+Normal rank
@@ 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