Modal-like operators in Boolean lattices, Galois connections and fixed points

Fundamenta Informaticae

Volumn 76, Issue 1-2, 2007, Pages 129-145

  Järvinen, Jouni ^a   Kondo, Michiro ^b   Kortelainen, Jari ^c  

^a UNIVERSITY OF TURKU   (Finland)

^b TOKYO DENKI UNIVERSITY   (Japan)

^c LAPPEENRANTA UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

Boolean lattices with additional operators; Closure operators; Fixed points; Galois connections

Indexed keywords

APPROXIMATION ALGORITHMS; BOOLEAN ALGEBRA; FORMAL LOGIC; TOPOLOGY;

BOOLEAN LATTICES WITH ADDITIONAL OPERATORS; CLOSURE OPERATORS; FIXED POINTS; GALOIS CONNECTIONS; LINGUISTIC MODIFIERS;

MATHEMATICAL OPERATORS;

EID: 33847699243     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. P. Alexandroff, Diskrete Räume, Matematičeskij 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. TA. 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.