Representations of structural closure operators (Q627430): Difference between revisions

@@ Property / cites work @@
+Q4840168
@@ Property / cites work: Q4840168 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices and ordered algebraic structures
@@ Property / cites work: Lattices and ordered algebraic structures / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249037
@@ Property / cites work: Q4249037 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative translations
@@ Property / cites work: Conservative translations / rank @@
+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 @@
+Protoalgebraic Gentzen systems and the cut rule
@@ Property / cites work: Protoalgebraic Gentzen systems and the cut rule / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence relations: an order-theoretic and categorical perspective
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequents in many valued logic I
@@ Property / cites work: Sequents in many valued logic I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142030
@@ Property / cites work: Q3142030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530611
@@ Property / cites work: Q4530611 / rank @@
+Normal rank