Model-completeness for sheaves of structures
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.
Modular atomic effect algebras and the existence of subadditive states
Lattice effect algebras generalize orthomodular lattices and -algebras. We describe all complete modular atomic effect algebras. This allows us to prove the existence of ordercontinuous subadditive states (probabilities) on them. For the separable noncomplete ones we show that the existence of a faithful probability is equivalent to the condition that their MacNeille complete modular effect algebra.
Modules ordonnés injectifs
Monadic involutive pseudo-BCK algebras.
Monoides et semi-anneaux continus.
Monotone functions on symmetric spaces.
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.
Monotone σ-complete groups with unbounded refinement
The real line ℝ may be characterized as the unique non-atomic directed partially ordered abelian group which is monotone σ-complete (countable increasing bounded sequences have suprema), has the countable refinement property (countable sums of positive (possibly infinite) elements have common refinements) and is linearly ordered. We prove here that the latter condition is not redundant, thus solving an old problem by A. Tarski, by proving that there are many spaces (in particular, of arbitrarily...
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.