Filter pairs and natural extensions of logics (Q2700816): Difference between revisions

@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620598
@@ Property / cites work: Q5620598 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+A note on natural extensions in abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical information theory: new logical foundations for information theory
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics and a functorial encoding of its morphisms
+Normal rank
@@ Property / cites work @@
+Constructing natural extensions of propositional logics
+Normal rank
@@ Property / cites work @@
+Deducibility and many-valuedness
@@ Property / cites work: Deducibility and many-valuedness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank