Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Fundamenta Informaticae

1 2007

1 Järvinen J.
1 Kondo M.
1 Kortelainen J.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Boolean lattices with additional operators

Sortuj według:

Ogranicz wyniki do:

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

100%

Järvinen J. , Kondo M. , Kortelainen J.

tom Vol. 76, nr 1-2

129-145

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.