×

Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (English) Zbl 1316.06011

Summary: This paper studies expansions of bounded distributive lattices equipped with a Galois connection. We introduce GC-frames and canonical frames for these algebras. The complex algebras of GC-frames are defined in terms of rough set approximation operators. We prove that each bounded distributive lattice with a Galois connection can be embedded into the complex algebra of its canonical frame. We show that for every spatial Heyting algebra \(L\) equipped with a Galois connection, there exists a GC-frame such that \(L\) is isomorphic to the complex algebra of this frame, and an analogous result holds for weakly atomic Heyting-Brouwer algebras with a Galois connection. In each case of representation, given Galois connections are represented by rough set upper and lower approximations.

MSC:

06D22 Frames, locales
06A15 Galois correspondences, closure operators (in relation to ordered sets)
06D20 Heyting algebras (lattice-theoretic aspects)
06D05 Structure and representation theory of distributive lattices
03E72 Theory of fuzzy sets, etc.
03G10 Logical aspects of lattices and related structures

References:

[1] Alexandroff, P., Diskrete Räume, Matematičeskij Sbornik, 2, 501-518 (1937) · JFM 63.1163.01
[2] Balbes, R.; Dwinger, Ph., Distributive Lattices (1974), University of Missouri Press: University of Missouri Press Columbia, MO · Zbl 0321.06012
[3] Belohlavek, R., Optimal triangular decompositions of matrices with entries from residuated lattices, International Journal of Approximate Reasoning, 50, 1250-1258 (2009) · Zbl 1195.15011
[4] Birkhoff, G., Rings of sets, Duke Mathematical Journal, 3, 443-454 (1937) · Zbl 0017.19403
[5] Davey, B. A.; Priestley, H. A., Introduction to Lattices and Order (2002), Cambridge University Press · Zbl 1002.06001
[6] Dzik, W.; Järvinen, J.; Kondo, M., Intuitionistic propositional logic with Galois connections, Logic Journal of the IGPL, 18, 837-858 (2010) · Zbl 1221.03012
[7] Dzik, W.; Järvinen, J.; Kondo, M., Intuitionistic logic with a Galois connection has the finite model property, Logic Journal of the IGPL, 21, 199-204 (2013) · Zbl 1283.03040
[8] Fischer Servi, G., Axiomatizations for some intuitionistic modal logics, Rendiconti del Seminario Matematico dellʼUniversità Politecnica di Torino, 42, 179-194 (1984) · Zbl 0592.03011
[9] Grätzer, G., General Lattice Theory (1998), Birkhäuser: Birkhäuser Basel · Zbl 0385.06015
[10] Hooshmandasl, M.; Karimi, A.; Almbardar, M.; Davvaz, B., Axiomatic systems for rough set-valued homomorphisms of associative rings, International Journal of Approximate Reasoning, 54, 297-306 (2013) · Zbl 1266.03059
[11] Järvinen, J., Lattice theory for rough sets, Transactions on Rough Sets, VI, 400-498 (2007) · Zbl 1186.03069
[12] Järvinen, J.; Kondo, M.; Kortelainen, J., Logics from Galois connections, International Journal of Approximate Reasoning, 49, 595-606 (2008) · Zbl 1184.68484
[13] Jónsson, B.; Tarski, A., Boolean algebras with operators. Part I, American Journal of Mathematics, 73, 4, 891-939 (1951) · Zbl 0045.31505
[14] Ma, J.-M.; Zhang, W.-X., Axiomatic characterizations of dual concept lattices, International Journal of Approximate Reasoning, 54, 690-697 (2013) · Zbl 1316.68162
[15] Orłowska, E.; Pawlak, Z., Representation of nondeterministic information, Theoretical Computer Science, 29, 27-39 (1984) · Zbl 0537.68098
[16] Orłowska, E.; Rewitzky, I., Discrete dualities for Heyting algebras with operators, Fundamenta Informaticae, 81, 275-295 (2007) · Zbl 1142.06002
[17] Pawlak, Z., Rough sets, International Journal of Computer and Information Sciences, 11, 341-356 (1982) · Zbl 0501.68053
[18] Rauszer, C., Semi-Boolean algebras and their applications to intuitionistic logic with dual operations, Fundamenta Mathematicae, 83, 219-249 (1974) · Zbl 0298.02064
[19] Shen, L.; Zhang, D., The concept lattice functors, International Journal of Approximate Reasoning, 54, 166-183 (2013) · Zbl 1288.06013
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.