Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Every free biresiduated lattice is semisimple

Takamura H.

Reports on Mathematical Logic

2003

No. 37

125-133

In this paper, we prove the semisimplicity of free biresiduated lattices, more precisely, integral residuated lattices. In [4], authors show that variety of residuated lattices, more precisely, commutative integral residuated lattices, is generated by its finite simple members. The result is obtained by showing that every {\it free} residuated lattice is semisimple and then showing that every variety generated by a simple residuated lattice is generated by a set of finite simple residuated lattices. The proof of the former is based on Gri\v{s}in's idea in [2]. We show that their proof of the semisimplicity works well also for free biresiduated lattices.