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

Previous Page 7 Next

Displaying 121 – 140 of 1272

Showing per page

Autour des groupes cycliquement ordonnés

G. Leloup (2012)

Annales de la faculté des sciences de Toulouse Mathématiques

Ce travail commence par rappeler les définitions et les résultats de base concernant les groupes cycliquement ordonnés, et mentionner différents domaines où ils apparaissent. Ensuite sont exposés quelques développements, notamment sur la théorie du premier ordre, les séries formelles à exposants dans un groupe cycliquement ordonné, les groupes valués dont la valuation est à valeurs dans un ensemble cycliquement ordonné, et un analogue pour les espaces ultramétriques.

Axiomatizing omega and omega-op powers of words

Stephen L. Bloom, Zoltán Ésik (2004)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.

Axiomatizing omega and omega-op powers of words

Stephen L. Bloom, Zoltán Ésik (2010)

RAIRO - Theoretical Informatics and Applications

In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.

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 .

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-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.

Cantor extension of a half lineary cyclically ordered group

Štefan Černák (2001)

Discussiones Mathematicae - General Algebra and Applications

Convergent and fundamental sequences are studied in a half linearly cyclically ordered group G with the abelian increasing part. The main result is the construction of the Cantor extension of G.

Currently displaying 121 – 140 of 1272