Ideale in Rechtsverbandshalbgruppen.
Ideals and Green's relations in ordered semigroups.
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.
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-determined congruences on inverse semigroups.
Idempotents in completely PO semigroups.
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
In memory of Jaroslav Ježek
Information frames, implication systems and modalities.
We investigate the logical systems which result from introducing the modalities L and M into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics.
Integrally ordered semigroups.
Interior and closure operators on bounded commutative residuated l-monoids
Topological Boolean algebras are generalizations of topological spaces defined by means of topological closure and interior operators, respectively. The authors in [14] generalized topological Boolean algebras to closure and interior operators of MV-algebras which are an algebraic counterpart of the Łukasiewicz infinite valued logic. In the paper, these kinds of operators are extended (and investigated) to the wide class of bounded commutative Rl-monoids that contains e.g. the classes of BL-algebras...
Interior and closure operators on bounded residuated lattices
Bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind many valued and fuzzy logics. In the paper we introduce and investigate multiplicative interior and additive closure operators (mi- and ac-operators) generalizing topological interior and closure operators on such algebras. We describe connections between mi- and ac-operators, and for residuated lattices with Glivenko property we give connections between operators on them and on the residuated...
Interior and closure operators on bounded residuated lattice ordered monoids
-algebras endowed with additive closure operators or with its duals-multiplicative interior operators (closure or interior -algebras) were introduced as a non-commutative generalization of topological Boolean algebras. In the paper, the multiplicative interior and additive closure operators on -monoids are introduced as natural generalizations of the multiplicative interior and additive closure operators on -algebras.
Interior and Closure Operators on Commutative Bounded Residuated Lattices
Commutative bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind many valued and fuzzy logics. In the paper we introduce and investigate additive closure and multiplicative interior operators on this class of algebras.
Interval-Valued Fuzzy Ideals Generated by an Interval-Valued Fuzzy Subset in Ordered Semigroups.
Inverse and partially ordered semigroups
Isomorphisms of products of infinite graphs