Linearly fundamentally ordered semigroups
Local bounded commutative residuated -monoids
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of, e.g., -algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative -monoids are investigated.
Metric properties of positively ordered monoids.
Minimal positive realizations: a survey of recent results and open problems
In this survey paper some recent results on the minimality problem for positive realizations are discussed. In particular, it is firstly shown, by means of some examples, that the minimal dimension of a positive realization of a given transfer function, may be much “larger” than its McMillan degree. Then, necessary and sufficient conditions for the minimality of a given positive realization in terms of positive factorization of the Hankel matrix are given. Finally, necessary and sufficient conditions...
Minimal prime ideals in autometrized algebras
Modal operators on bounded commutative residuated -monoids
Modal operators on bounded residuated -monoids
Bounded residuated lattice ordered monoids (-monoids) form a class of algebras which contains the class of Heyting algebras, i.e. algebras of the propositional intuitionistic logic, as well as the classes of algebras of important propositional fuzzy logics such as pseudo -algebras (or, equivalently, -algebras) and pseudo -algebras (and so, particularly, -algebras and -algebras). Modal operators on Heyting algebras were studied by Macnab (1981), on -algebras were studied by Harlenderová and...
Modal operators on MV-algebras
Modal operators on Heyting algebras were introduced by Macnab. In this paper we introduce analogously modal operators on MV-algebras and study their properties. Moreover, modal operators on certain derived structures are investigated.
Models combination in (max,+) algebra for the implementation of a simulation and analysis software
This paper presents a modeling methodology in (max,+) algebra which has been developed in order to implement a modulary software for the simulation and the analysis of electronic cards production lines. More generally, this approach may be applied to hybrid flowshop type manufacturing systems.
Monadic involutive pseudo-BCK algebras.
Monoides et semi-anneaux continus.
Monotone modal operators on bounded integral residuated lattices
Bounded integral residuated lattices form a large class of algebras containing some classes of commutative and noncommutative algebras behind many-valued and fuzzy logics. In the paper, monotone modal operators (special cases of closure operators) are introduced and studied.
Monotonic mappings on ordered sets, a class of inequalities with finite differences and fixed points.
Multiplicative structures over sup-lattices
MV-algebras are categorically equivalent to a class of -semigroups
In the paper it is proved that the category of -algebras is equivalent to the category of bounded -semigroups satisfying the identity . Consequently, by a result of D. Mundici, both categories are equivalent to the category of bounded commutative -algebras.
Naturally Orderd Transformation Semigroups.
Negation in bounded commutative -monoids
The class of commutative dually residuated lattice ordered monoids (-monoids) contains among others Abelian lattice ordered groups, algebras of Hájek’s Basic fuzzy logic and Brouwerian algebras. In the paper, a unary operation of negation in bounded -monoids is introduced, its properties are studied and the sets of regular and dense elements of -monoids are described.
Nildemi-groupes totalement ordonnés
Noetherian and Artinian ordered groupoids -- semigroups.
Noetherian lattice modules and semi-local completions