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

@@ Property / Mathematics Subject Classification ID @@
+G10
@@ Property / Mathematics Subject Classification ID: 03G10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G27
@@ Property / Mathematics Subject Classification ID: 03G27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6621299
@@ Property / zbMATH DE Number: 6621299 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lattice-based logics
@@ Property / zbMATH Keywords: lattice-based logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relational semantics
@@ Property / zbMATH Keywords: relational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+canonicity
@@ Property / zbMATH Keywords: canonicity / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2434886887
@@ Property / OpenAlex ID: W2434886887 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:306839