Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points

• Autorzy: Järvinen J. , Kondo M. , Kortelainen J.
• Języki publikacji: EN

Abstrakty

EN

In this work, four modal-like operators on Boolean lattices are introduced and their theory is presented from lattice-theoretical, topological and algebraic point of view. It is also shown how rough set approximation operators, modal operators in temporal logic, and linguistic modifiers determined by L-sets can be interpreted as modal-like operators.

Słowa kluczowe

EN

Galois connection; closure operator; fixed point; Boolean lattices with additional operators

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 76, nr 1-2
• Strony: 129--145
• Opis fizyczny: bibliogr. 25 poz.

Twórcy

autor

Järvinen J.

autor

Kondo M.

autor

Kortelainen J.

• Turku Centre for Computer Science University of Turku, 20014 Turku, Finland,

Bibliografia

• [1] P. Alexandroff, Diskrete Räume, Matematiˇceskij Sbornik N. S. 2 (1937) 501-518. In German.
• [2] C. Areces, R. Bernardi,M.Moortgat, Galois connections in categorial type logic, in: Proceedings of FGMOL '01, volume 47 of Electronic Notes in Theoretical Computer Science (2001).
• [3] G. Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937) 443-454.
• [4] G. Birkhoff, Lattice Theory, Colloquium Publications XXV, American Mathematical Society, Providence, Rhode Island, 3rd edition, 1995.
• [5] B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 2nd edition, 2002.
• [6] M. Erné, J. Koslowski, A. Melton, G.E. Strecker, A primer on Galois connections, in: Proceedings of the 1991 Summer Conference on General Topology and Applications in Honor of Mary Ellen Rudin and Her Work, volume 704 of Annals of the New York Academy of Sciences (1993) 103-125.
• [7] G.K. Gierz, K.H. Hoffmann, K. Keimel, J.D. Mislove, D.S. Scott, A Compendium of Continuous Lattices, Springer-Verlag, Berlin, 1980.
• [8] J. A. Goguen, L-fuzzy sets, Journal of Mathematical Analysis and Applications 18 (1967) 145-174.
• [9] R. Gore, Substructural logics on display, Logic Journal of the IGPL 6 (1998) 451-504.
• [10] J. Järvinen, On the structure of rough approximations, Fundamenta Informaticae 53 (2002) 135-153.
• [11] J. Järvinen, J. Kortelainen, A Unifying Study Between Modal-like Operators, Topologies, and Fuzzy Sets, Turku Centre for Computer Science, Turku, Finland, TUCS Technical Report 642, 2004.
• [12] B. Jónsson, A. Tarski, Boolean algebras with operators I, American Journal of Mathematics 73 (1951) 891-939.
• [13] J.L. Kelley, General Topology, Graduate Texts in Mathematics 27, Springer-Verlag 1975, Reprint of the 1955 edition published by Van Nostrand.
• [14] M. Kondo, On the structure of generalized rough sets, Information Sciences 176 (2006) 589-600.
• [15] J. Kortelainen, On relationship between modified sets, topological spaces and rough sets, Fuzzy Sets and Systems 61 (1994) 91-95.
• [16] J. Kortelainen, A Topological Approach to Fuzzy Sets, Lappeenranta University of Technology, Ph.D. dissertation, Lappeenranta, Finland, Acta Universitatis Lappeenrantaensis 90, 1999.
• [17] J. Kortelainen, Applying modifiers to knowledge acquisition, Information Sciences 134 (2001) 39-51.
• [18] S.A. Kripke, Semantical considerations on modal logic, Acta Philosophica Fennica XVI (1963) 83-94.
• [19] G. Lakoff, Hedges: A study in meaning criteria and the logic of fuzzy concepts, Journal of Philosophical Logic 2 (1973) 458-508.
• [20] J.K. Mattila, Modelling fuzziness by Kripke structures, in: Proceedings of the International Fuzzy Engineering Symposium '91, Yokohama, Japan (1991) 889-900.
• [21] O. Ore, Galois connexions, Transactions of the American Mathematical Society 55 (1944) 493-513.
• [22] Z. Pawlak, Rough sets, International Journal of Computer and Information Sciences 11 (1982) 341-356.
• [23] T.A. Sudkamp, Self-conjugate functions on Boolean algebras, Notre Dame Journal of Formal Logic 19(1978) 504-512.
• [24] A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285-309.
• [25] L.A. Zadeh, Fuzzy logic and approximate reasoning, Synthese 30 (1975) 407-428.