Ideals, -rings and -algebras
Ideals of binary relational systems
Ideals of noncommutative -monoids
In this paper, we introduce the concept of an ideal of a noncommutative dually residuated lattice ordered monoid and we show that congruence relations and certain ideals are in a one-to-one correspondence.
Ideals of weakly associative lattices and pseudo-ordered sets
Idéaux et congruences dans un treillis
Idempotency of Circuit-induced Exchange Operators.
Idempotent distributive semirings II..
Idempotent generated algebras and Boolean pairs
Idempotent semigroups and tropical algebraic sets
The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent semigroup. We show that commutative idempotent semigroups are contractible, that systems of tropical...
Idempotent versions of Haar’s Lemma: links between comparison of discrete event systems with different state spaces and control
Haar's Lemma (1918) deals with the algebraic characterization of the inclusion of polyhedral sets. This Lemma has been involved many times in automatic control of linear dynamical systems via positive invariance of polyhedrons. More recently, it has been used to characterize stochastic comparison w.r.t. linear/integral ordering of Markov (reward) chains. In this paper we develop a state space oriented approach to the control of Discrete Event Systems (DES) based on the remark that most of control...
Idempotent-determined congruences on inverse semigroups.
Idempotents in completely PO semigroups.
Identities which imply that a ring is Boolean
IF-filters of pseudo-BL-algebras
Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of IF-filters and direct product of IF-filters are studied.
Images homomorphes, ordonnées en treillis des demi-groupes ordonnés
Imbedding locally convex lattices into compact lattices
Implication algebras
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties....
Implication and equivalential reducts of basic algebras
A term operation implication is introduced in a given basic algebra and properties of the implication reduct of are treated. We characterize such implication basic algebras and get congruence properties of the variety of these algebras. A term operation equivalence is introduced later and properties of this operation are described. It is shown how this operation is related with the induced partial order of and, if this partial order is linear, the algebra can be reconstructed by means of...
Implications partielles dans un contexte
Nous présentons une extension de la théorie des implications entre attributs binaires aux implications partielles. A partir de données expérimentales on s'intéresse non seulement aux implications (globales), mais aussi aux «implications avec quelques contre exemples». Les implications partielles offrent une possibilité d'extraire des informations supplémentaires. Elles permettent de «modéliser» la fréquence relative d'une implication, non-valide pour toutes les données, et donnent par conséquent...
Implicative commutative semigroups are equivalent to a class of BCK algebras.