Characterization of protoalgebraic k-deductive systems (Q4586420): Difference between revisions

@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of Leibniz equality
@@ Property / cites work: Definability of Leibniz equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+Q4889848
@@ Property / cites work: Q4889848 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
+Normal rank
@@ Property / cites work @@
+Q4487294
@@ Property / cites work: Q4487294 / rank @@
+Normal rank