The distributivity on bi-approximation semantics (Q306839): Difference between revisions

@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive canonicity in non-classical logics
@@ Property / cites work: Constructive canonicity in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for lattice-ordered algebras and for normal algebraizable logics
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
+Normal rank
@@ Property / cites work @@
+A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
@@ Property / cites work: A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC / rank @@
+Normal rank