Algebras for Galois-style connections and their discrete duality. (English) Zbl 1195.03059

Discrete duality is a duality between a class of algebras and an associated class of relational systems without a topology. In the paper such a duality is established for classes of bounded distributive lattices with Galois-style pairs of modal operators and for MTL algebras which are the semantic structures for the monoidal t-norm logic MTL.


03G25 Other algebras related to logic
03B52 Fuzzy logic; logic of vagueness
06A15 Galois correspondences, closure operators (in relation to ordered sets)
06D50 Lattices and duality
Full Text: DOI


[1] G. Birkhoff, Lattice Theory, American Mathematical Society, Providence, RI, 1940.
[2] Blyth, T.S.; Janovitz, M.F., Residuation theory, (1972), Pergamon Press New York · Zbl 0301.06001
[3] Cabrer, L.M.; Cellani, S.A., Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Central European journal of mathematics, 4, 4, 600-623, (2006) · Zbl 1114.06010
[4] Demri, S.; Orłowska, E., Incomplete information: structure, inference, complexity, () · Zbl 1016.68163
[5] W. Dzik, E. Orłowska, C. van Alten, Relational Representation Theorems for General Lattices with Negations, in: Lecture Notes in Computer Science, Vol. 4136, Springer, Berlin, 2006, pp. 162-176. · Zbl 1135.06003
[6] W. Dzik, E. Orłowska, C. van Alten, Relational Representation Theorems for Lattices with Negations: A Survey, in: Lecture Notes in Artificial Intelligence, Vol. 4342, 2006, pp. 245-266. · Zbl 1177.06006
[7] Dunn, M.; Hardegree, G., Algebraic methods in philosophical logic, (2001), Clarendon Press Oxford · Zbl 1014.03002
[8] Düntsch, I.; Orłowska, E., Beyond modalities: sufficiency and mixed algebras, (), 263-285 · Zbl 0992.03078
[9] Düntsch, I.; Orłowska, E., Boolean algebras arising from information systems, Annals of pure and applied logic, 127, 77-98, (2004) · Zbl 1063.06009
[10] I. Düntsch, E. Orłowska, A discrete duality between the apartness algebras and apartness frames, Journal of Applied Non-classical Logic 18 (2-3) (2008) 209-233.
[11] M. Erné, J. Koslowski, A. Melton, G.E. Strecker, A primer on Galois connections. In Papers on General Topology and Applications Seventh Summer Conference at the University of Wisconsin in Honor of Mary Ellen Rudin and Her Work, Annals of the New York Academy of Sciences 704 (1993) 103-125. · Zbl 0809.06006
[12] Edwards, H.M., Galois theory, (1984), Springer Berlin, New York · Zbl 0532.12001
[13] Esteva, F.; Godo, L., Monoidal t-norm based logic: towards a logic of left-continuous t-norms, Fuzzy sets and systems, 124, 271-288, (2001) · Zbl 0994.03017
[14] E. Galois, Memoire sur les conditions de résolubilité des équestions par radicaux, Journal de Mathematiques Pures et Appliques 11 (1846) 381-444.
[15] Ganter, B.; Wille, R., Formal concept analysis: mathematical foundations, (1999), Springer Heidelberg · Zbl 0909.06001
[16] G. Gediga, I. Düntsch, Modal-style operators in qualitative data analysis, Technical Report CS-02-15, Brock University, St. Catharines, Ontario, Canada, 2002.
[17] Järvinen, J., Pawlak’s information systems in terms of Galois connections and functional dependencies, Fundamenta informaticae, 75, 1-4, 315-330, (2007) · Zbl 1108.68115
[18] Jónsson, B.; Tarski, A., Boolean algebras with operators, part II, American journal of mathematics, 74, 127-162, (1952) · Zbl 0045.31601
[19] E. Orłowska, J. Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Draft of a book, 2009. · Zbl 1210.03001
[20] Orłowska, E.; Rewitzky, I., Duality via truth: semantic frameworks for lattice-based logics, Logic journal of the IGPL, 13, 4, 467-490, (2005) · Zbl 1080.03008
[21] E. Orłowska, I. Rewitzky, Discrete Duality and its Applications to Reasoning with Incomplete Information, in: Lecture Notes in Artificial Intelligence, Vol. 4585, Springer, Berlin, 2007, pp. 49-56.
[22] Orłowska, E.; Rewitzky, I., Discrete dualities for Heyting algebras with operators, Fundamenta informaticae, 81, 1-3, 275-295, (2007) · Zbl 1142.06002
[23] E. Orłowska, I. Rewitzky, Context algebras, context frames and their discrete duality, Transactions on Rough Sets IX, Springer, Berlin, 2008, pp. 212-229. · Zbl 1194.68214
[24] E. Orłowska, I. Rewitzky, I. Düntsch, Relational Semantics through Duality, in: Lecture Notes in Computer Science, Vol. 3929, Springer, Berlin, 2006, pp. 17-32. · Zbl 1185.03035
[25] Orłowska, E.; Vakarelov, D., Lattice-based modal algebras and modal logics, (), 147-170 · Zbl 1105.03070
[26] Priestley, H.A., Representation of distributive lattices by means of ordered stone spaces, Bulletin of the London mathematical society, 2, 186-190, (1970) · Zbl 0201.01802
[27] Radzikowska, A.M.; Kerre, E.E., Characterisations of main classes of fuzzy relations using fuzzy modal operators, Fuzzy sets and systems, 152, 2, 223-247, (2005) · Zbl 1079.03015
[28] A.M. Radzikowska, Fuzzy modal-like approximation operations based on residuated lattices, in: Proc. 11th Internat. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU’2006, Paris, 2006, pp. 444-451. · Zbl 1185.68716
[29] A.M. Radzikowska, E.E. Kerre, Fuzzy Information Relations and Operators: An Algebraic Approach based on Residuated Lattices, in: Lecture Notes in Artificial Intelligence, Vol. 4342, 2006, pp. 162-184. · Zbl 1177.68211
[30] Radzikowska, A.M., Fuzzy modal-like approximation operators based on double residuated lattices, Journal of applied non-classical logics, 16, 3-4, 485-506, (2006) · Zbl 1185.68716
[31] Stone, M.H., Topological representations of distributive lattices and Brouwerian logics, Casopis pro potování mathematiky, 67, 1-25, (1937) · Zbl 0018.00303
[32] Urquhart, A., Duality for algebras of relevant logics, Studia logica, 56, 263-276, (1996) · Zbl 0844.03032
[33] R. Wille, Restructuring lattice theory: an approach based on hierarchies of concepts, in: I. Rival (Ed.), Ordered Sets, NATO Advanced Studies Institute, Vol. 83, Reidel, Dordrecht, 1982, pp. 445-470. · Zbl 0491.06008
[34] Zeevald, O.V., Fuzzy logic with modalities, Algebra and logic, 45, 6, 415-430, (2006)
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.