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

@@ Property / author @@
+Josep Maria Font
@@ Property / author: Josep Maria Font / rank @@
+Normal rank
@@ Property / author @@
+Ramon Jansana
@@ Property / author: Ramon Jansana / rank @@
+Normal rank
@@ Property / author @@
+Don Pigozzi
@@ Property / author: Don Pigozzi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-009-9169-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1965284799
@@ Property / OpenAlex ID: W1965284799 / rank @@
+Normal rank
@@ 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