In the context of the atomic poset, we propose several new methods of constructing the complete lattice and the algebraic lattice, and the mutual decision of relationship between atomic posets and complete lattices (algebraic lattices) is studied.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a power lattice via the so-called frame.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.