Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Reports on Mathematical Logic

1 2013

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV

Jipsen P., Ledda A., Paoli F.

Reports on Mathematical Logic

2013

Vol. 48

3--36

In the present paper, which is a sequel to [20, 4, 12], we investigate further the structure theory of quasi- MV algebras and √' quasi-MV algebras. In particular: we pro- vide a new representation of arbitrary√' MV algebras in terms of √'MV algebras arising out of their MV* term subreducts of regular elements; we investigate in greater detail the structure of the lattice of √' MV varieties, proving that it is uncountable, providing equational bases for some of its members, as well as analysing a number of slices of special interest; we show that the variety of √'MV algebras has the amalgamation property; we provide an axiomatisation of the 1-assertional logic of √'MV algebras; lastly, we reconsider the correspondence between Carte- sian √'MV algebras and a category of Abelian lattice-ordered groups with operators first addressed in [10].