Update to ``A survey of abstract algebraic logic'' (Q1005985): Difference between revisions

@@ Property / cites work @@
+Q4465171
@@ Property / cites work: Q4465171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821597
@@ Property / cites work: Q4821597 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+A closer look at some subintuitionistic logics
@@ Property / cites work: A closer look at some subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics with the multiterm deduction theorem and their algebraization
+Normal rank
@@ Property / cites work @@
+Q4870564
@@ Property / cites work: Q4870564 / rank @@
+Normal rank
@@ Property / cites work @@
+On the closure properties of the class of full G-models of a deductive system
+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 @@
+Q4889848
@@ Property / cites work: Q4889848 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential and algebraizable logics
@@ Property / cites work: Equivalential and algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+Leibniz filters revisited
@@ Property / cites work: Leibniz filters revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraizability of annotated logics
@@ Property / cites work: On the algebraizability of annotated logics / rank @@
+Normal rank