All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 68

Showing per page

Balanced congruences

Ivan Chajda, Günther Eigenthaler (2001)

Discussiones Mathematicae - General Algebra and Applications

Let V be a variety with two distinct nullary operations 0 and 1. An algebra 𝔄 ∈ V is called balanced if for each Φ,Ψ ∈ Con(𝔄), we have [0]Φ = [0]Ψ if and only if [1]Φ = [1]Ψ. The variety V is called balanced if every 𝔄 ∈ V is balanced. In this paper, balanced varieties are characterized by a Mal'cev condition (Theorem 3). Furthermore, some special results are given for varieties of bounded lattices.

Balanced d-lattices are complemented

Martin Goldstern, Miroslav Ploščica (2002)

Discussiones Mathematicae - General Algebra and Applications

We characterize d-lattices as those bounded lattices in which every maximal filter/ideal is prime, and we show that a d-lattice is complemented iff it is balanced iff all prime filters/ideals are maximal.

Banaschewski’s theorem for generalized M V -algebras

Ján Jakubík (2007)

Czechoslovak Mathematical Journal

A generalized M V -algebra 𝒜 is called representable if it is a subdirect product of linearly ordered generalized M V -algebras. Let S be the system of all congruence relations ρ on 𝒜 such that the quotient algebra 𝒜 / ρ is representable. In the present paper we prove that the system S has a least element.

Bases of minimal elements of some partially ordered free abelian groups

Pavel Příhoda (2003)

Commentationes Mathematicae Universitatis Carolinae

In the present paper, we will show that the set of minimal elements of a full affine semigroup A ↪ ℕ 0 k contains a free basis of the group generated by A in ℤ k . This will be applied to the study of the group K 0 ( R ) for a semilocal ring R .

Basic pseudorings

Ivan Chajda, Miroslav Kolařík (2009)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

The concept of a basic pseudoring is introduced. It is shown that every orthomodular lattice can be converted into a basic pseudoring by using of the term operation called Sasaki projection. It is given a mutual relationship between basic algebras and basic pseudorings. There are characterized basic pseudorings which can be converted into othomodular lattices.

Bell-type inequalities for parametric families of triangular norms

Saskia Janssens, Bernard De Baets, Hans De Meyer (2004)

Kybernetika

In recent work we have shown that the reformulation of the classical Bell inequalities into the context of fuzzy probability calculus leads to related inequalities on the commutative conjunctor used for modelling pointwise fuzzy set intersection. Also, an important role has been attributed to commutative quasi-copulas. In this paper, we consider these new Bell-type inequalities for continuous t-norms. Our contribution is twofold: first, we prove that ordinal sums preserve these Bell-type inequalities;...

bi-BL-algebra

Mahdeieh Abbasloo, Arsham Borumand Saeid (2011)

Discussiones Mathematicae - General Algebra and Applications

In this paper, we introduce the notion of a bi-BL-algebra, bi-filter, bi-deductive system and bi-Boolean elements of a bi-BL-algebra and deal with bi-filters in bi-BL-algebra. We study this structure and construct the quotient of bi-BL-algebra. Also present a classification for examples of proper bi-BL-algebras.

Biframe compactifications

Anneliese Schauerte (1993)

Commentationes Mathematicae Universitatis Carolinae

Compactifications of biframes are defined, and characterized internally by means of strong inclusions. The existing description of the compact, zero-dimensional coreflection of a biframe is used to characterize all zero-dimensional compactifications, and a criterion identifying them by their strong inclusions is given. In contrast to the above, two sufficient conditions and several examples show that the existence of smallest biframe compactifications differs significantly from the corresponding...

Bi-ideals in Clifford ordered semigroup

Kalyan Hansda (2013)

Discussiones Mathematicae - General Algebra and Applications

In this paper we characterize both the Clifford and left Clifford ordered semigroups by their bi-ideals and quasi-ideals. Also we characterize principal bi-ideal generated by an ordered idempotent in a completely regular ordered semigroup.

Binary and ternary relations

Vítězslav Novák, Miroslav Novotný (1992)

Mathematica Bohemica

Two operators are constructed which make it possible to transform ternary relations into binary relations defined on binary relations and vice versa. A possible graphical representation of ternary relations is described.

Bipartite pseudo MV-algebras

Grzegorz Dymek (2006)

Discussiones Mathematicae - General Algebra and Applications

A bipartite pseudo MV-algebra A is a pseudo MV-algebra such that A = M ∪ M ̃ for some proper ideal M of A. This class of pseudo MV-algebras, denoted BP, is investigated. The class of pseudo MV-algebras A such that A = M ∪ M ̃ for all maximal ideals M of A, denoted BP₀, is also studied and characterized.

Currently displaying 1 – 20 of 68

Page 1 Next