Wyniki wyszukiwania - BazTech

Ograniczanie wyników

5 Demonstratio Mathematica

Znaleziono wyników: 5

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebra MV

Sortuj według:

Ogranicz wyniki do:

Semitopological BL-algebras and MV-algebras

Zahiri O., Borzooei R. A.

Demonstratio Mathematica

2014

Vol. 47, nr 3

522--538

In this paper, by considering the notion of upsets, for any element x of a BL-algebra L, we construct a topology γx on L and show that L-algebras with this topology formes a semitopological BL-algebras. Then we obtain some of the topological aspects of this structure such as connectivity and compactness. Moreover, we introduced two kinds of semitopological MV-algebra by using two kinds of definition of MV–algebra and show that they are equivalent.

Convergence with a fixed regulator in perfect MV-algebras

Ciungu L.

Demonstratio Mathematica

2008

Vol. 41, nr 1

1-10

MV-algebras were introduced by Chang as an algebraic counterpart of the Łukasiewicz infinite-valued logie. D. Mundici proved that the category of MV-algebras is equivalent to the category of abelian l-groups with strong unit. A. Di Nola and A. Lettieri established a categorical equivalence between the category of perfect MV-algebras and the category of abelian l-groups. In this paper we investigate the convergence with a fixed regulator in perfect MV-algebras using Di Nola-Lettieri functors. The main result of the paper states that every locally Archimedean MV-algebra has a unique v-Cauchy completion.

When is a BCC-algebra equivalent to an MV-algebra?

Chajda I., Halas R., Kuhr J.

Demonstratio Mathematica

2007

Vol. 40, nr 4

759-768

The aim of this paper is to characterize BCC-algebras which are term equivalent to MV-algebras. It turns out that they arę just the bounded commutative BCC-algebras. Purther, we characterize congruence kernels as deductive systems. The explicit description of a principal deductive system enables us to prove that every subdirectly irreducible bounded commutatwe BCC-algebra is a chain (with respect to the induced order) .

Mv-like algebras associated to lambda-ortholattices

Chajda I., Emanovsky P., Kolarik M.

Demonstratio Mathematica

2007

Vol. 40, nr 2

261-270

The concept of a ambda-lattice generalizes a lattice by substituting associativity by the so-called skew associativity. When a bounded ambda-lattice is equipped with a monotonous unary involution which is a complementation, it is called a ambda-ortholattice. For ambda-ortholattices a Sheffer operation is constructed and, moreover, a derived algebra analogous to an MV-algebra is assigned whenever the ambda-lattice has antitone involutions on sections.

Modifications of MV-algebras corresponding to strong ortholattices

Chajda I., Länger H.

Demonstratio Mathematica

2005

Vol. 38, nr 1

1--6

It is well-known that principal filters of MV-algebras are de Morgan algebras with involutory complementation. A modification of the notion of an MV-algebra is presented having the property that all principal filters are ortholattices. It turns out that the commutativity of these modified MV-algebras is equivalent to the distributivity of the corresponding ortholattices.