Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Complete lattice

Sortuj według:

Ogranicz wyniki do:

A new view of relationship between atomic posets and complete (algebraic) lattices

100%

Yu B., Li Q., Wu H.

Open Mathematics

2017

tom 15

nr 1

238-251

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.

Algebraic axiomatization of tense intuitionistic logic

86%

Chajda I.

Open Mathematics

2011

tom 9

nr 5

1185-1191

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.

Ograniczanie wyników

2 Open Mathematics

1 Chajda I.

1 Li Q.

1 Wu H.

1 Yu B.

1 2017

1 2011

Wyniki wyszukiwania

A new view of relationship between atomic posets and complete (algebraic) lattices

Algebraic axiomatization of tense intuitionistic logic