Minimal varieties of -groups.
Minimality of non-σ-scattered orders
We will characterize-under appropriate axiomatic assumptions-when a linear order is minimal with respect to not being a countable union of scattered suborders. We show that, assuming PFA⁺, the only linear orders which are minimal with respect to not being σ-scattered are either Countryman types or real types. We also outline a plausible approach to demonstrating the relative consistency of: There are no minimal non-σ-scattered linear orders. In the process of establishing these results, we will...
Minuscule heaps over Dynkin diagrams of type .
Misure su --semigruppi e su MV-algebre
Mixed product decompositions of a directed group
Möbius inversion for the Bruhat ordering on a Weyl group
Modal extensions of Heyting 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.
Modal operators on ordered sets
Modal operators on symmetrical Heyting algebras
Modal Pseudocomplemented De Morgan Algebras
Modal pseudocomplemented De Morgan algebras (or -algebras for short) are investigated in this paper. This new equational class of algebras was introduced by A. V. Figallo and P. Landini ([Figallo, A. V., Landini, P.: Notes on -valued modal algebras Preprints del Instituto de Ciencias Básicas, Univ. Nac. de San Juan 1 (1990), 28–37.]) and they constitute a proper subvariety of the variety of all pseudocomplemented De Morgan algebras satisfying . Firstly, a topological duality for these algebras...
Model n-dimenzionog projektivnog prostora
Model-completeness for sheaves of structures
Modèles d'optimisation en analyse des données relationnelles
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 and Distributive Equalities in Lattices
Modular and metric multilattices
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.