Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1664205513
@@ Property / OpenAlex ID: W1664205513 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6263
@@ Property / arXiv ID: 1312.6263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal triangular decompositions of matrices with entries from residuated lattices
+Normal rank
@@ Property / cites work @@
+Rings of sets
@@ Property / cites work: Rings of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic with Galois connections
+Normal rank
@@ Property / cites work @@
+Intuitionistic modal logic with a galois connection has the finite model property1
+Normal rank
@@ Property / cites work @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic systems for rough set-valued homomorphisms of associative rings
+Normal rank
@@ Property / cites work @@
+Lattice Theory for Rough Sets
@@ Property / cites work: Lattice Theory for Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Logics from Galois connections
@@ Property / cites work: Logics from Galois connections / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic characterizations of dual concept lattices
+Normal rank
@@ Property / cites work @@
+Representation of nondeterministic information
@@ Property / cites work: Representation of nondeterministic information / rank @@
+Normal rank
@@ Property / cites work @@
+Q5445172
@@ Property / cites work: Q5445172 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+The concept lattice functors
@@ Property / cites work: The concept lattice functors / rank @@
+Normal rank