Results 261 to 270 of about 657,350 (280)
Some of the next articles are maybe not open access.
Studia Logica, 2005
Let \(A\) be a locally compact Hausdorff topological MV-algebra, and \(O(A)\) the frame of its open sets. In this paper it proved that, for every frame \(K\), the family \(\text{Hom}(O(A),K)\) of all frame homomorphisms of \(O(A)\) into \(K\) is endowed with a natural MV-algebraic structure.
DI NOLA, Antonio, BELLUCE L. P.
openaire +2 more sources
Let \(A\) be a locally compact Hausdorff topological MV-algebra, and \(O(A)\) the frame of its open sets. In this paper it proved that, for every frame \(K\), the family \(\text{Hom}(O(A),K)\) of all frame homomorphisms of \(O(A)\) into \(K\) is endowed with a natural MV-algebraic structure.
DI NOLA, Antonio, BELLUCE L. P.
openaire +2 more sources
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dan Noje, Barnabás Bede
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dan Noje, Barnabás Bede
openaire +2 more sources
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the
DI NOLA, Antonio, LENZI, Giacomo
openaire +2 more sources
We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the
DI NOLA, Antonio, LENZI, Giacomo
openaire +2 more sources
Quasi-MV* algebras: a generalization of MV*-algebras
Soft Computing, 2022Yingying Jiang, Wenjuan Chen
openaire +1 more source
IBM Systems Journal, 1978
Capacity planning, a major function of computer installation management, has the objective of determining cost-effective configurations to provide acceptable user service and system performance levels according to workload changes. The use of a performance predictive model is essential in the capacity planning process.
Willy W. Chiu, We-Min Chow
openaire +2 more sources
Capacity planning, a major function of computer installation management, has the objective of determining cost-effective configurations to provide acceptable user service and system performance levels according to workload changes. The use of a performance predictive model is essential in the capacity planning process.
Willy W. Chiu, We-Min Chow
openaire +2 more sources
MV-algebra of fractions and maximal MV-algebra of quotients
J. Multiple Valued Log. Soft Comput., 2004Let \(A\) be an MV-algebra (MV-algebras have been introduced by C. Chang in 1958; for background see the monograph: \textit{R. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)), and let \(B(A)\) be the set of its Boolean elements.
Dumitru Busneag, Dana Piciu
openaire +2 more sources
Journal of Applied Non-Classical Logics, 1999
ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.
openaire +2 more sources
ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.
openaire +2 more sources
IBM Systems Journal, 1980
Experience contributes important knowledge in many procedures. From the experience gained in tuning the Multiple Virtual Storage (MVS) operating system, a set of guidelines to help MVS installations avoid performance problems are suggested, along with an approach to tuning an MVS system.
openaire +1 more source
Experience contributes important knowledge in many procedures. From the experience gained in tuning the Multiple Virtual Storage (MVS) operating system, a set of guidelines to help MVS installations avoid performance problems are suggested, along with an approach to tuning an MVS system.
openaire +1 more source
Soft Computing, 2001
The author investigates a noncommutative generalization of the notion of (Chang) MV-algebra, introduced by Georgescu and Iorgulescu, which is thought of as the unit interval of a lattice-ordered Abelian group with strong unit. Various kinds of conditions are given ensuring commutativity, thus recovering the categorical equivalence between MV-algebras ...
openaire +2 more sources
The author investigates a noncommutative generalization of the notion of (Chang) MV-algebra, introduced by Georgescu and Iorgulescu, which is thought of as the unit interval of a lattice-ordered Abelian group with strong unit. Various kinds of conditions are given ensuring commutativity, thus recovering the categorical equivalence between MV-algebras ...
openaire +2 more sources
Soft Computing, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources