• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

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

Jouni Järvinen, Michiro Kondo, Jari Kortelainen, Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points. Fundamenta Informaticae 76(1-2), 129−145, 2007.

Abstract:

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.

BibTeX entry:

@ARTICLE{jJaKoJa07a,
  title = {Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points},
  author = {Järvinen, Jouni and Kondo, Michiro and Kortelainen, Jari},
  journal = {Fundamenta Informaticae},
  volume = {76},
  number = {1-2},
  pages = {129−145},
  year = {2007},
}

Belongs to TUCS Research Unit(s): Algorithmics and Computational Intelligence Group (ACI), FUNDIM, Fundamentals of Computing and Discrete Mathematics

Publication Forum rating of this publication: level 2

Edit publication