The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) and can be regarded as an algebraic model for the semantics of a formal deductive logic. There is a categorical equivalence between the category of IEA’s and the category of unigroups. In this article, we study the IEA-unigroup connection, focusing on the cases in which the IEA is a Boo...

Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...

Several types of skeletons in a hyper MV-algebra are introduced, and their relations are investigated.

The unit square is regarded as a special kind of dynamical system. It is proved that the square is an MV-algebra, hence the recent results on MValgebra entropy theory can be applied to it.

My talk is based on article [1]. Our aim is to give a unified topological approach to several results about a certain type of fuzzy measures, namely T∞−valuations (2) on clans of fuzzy sets (1) (in the sense of Butnariu and Klement [2]). We will transfer the method of [3], used to study FN-topologies (4) and measures on Boolean rings, to the study of T∞−valuations. So we need, for the domain of...

In this paper, some types of fuzzy filters a strong Sheffer stroke non-associative MV-algebra (for short, NMV-algebra) are introduced. By presenting new properties filters, we define prime filter in algebraic structure. Then (prime) NMV-algebra determined and features proved. Finally, built quotient by filter.

The goal of this paper is to describe, in as much detail as possible, the structure of the algebra of differential invariants of a Lie pseudo-group. Under the assumption of local freeness of the prolonged pseudo-group action, we develop algorithms for locating a finite generating set of differential invariants, establishing the recurrence relations for the differentiated invariants, and fixing ...

We develop the general theory of RMV-algebras, which are essentially unit intervals in Riesz spaces with strong unit. Since the variety of RMV-algebras is generated by [0, 1], we get an equational characterization of the real product on [0,1] interpreted as scalar multiplication.

The reproducibility over temperature and time of the pull-in voltage of micromechanical structures has been analyzed and verified using fabricated devices in silicon. The pull-in structures are intended for use as an on-chip voltage reference. Microbeams of 100m length, 3m width, and 11m thickness are electrostatically actuated with a very reproducible pull-in voltage at 9.1 V. Devices demonstr...

Effect basic algebras (which correspond to lattice ordered effect algebras) are studied. Their ideals are characterized (in the language of basic algebras) and one-to-one correspondence between ideals and congruences is shown. Conditions under which the quotients are OMLs or MV-algebras are found.