This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the N0-valued prepositional calculus^). For want of a better name, we shall call these algebraic systems MV-algebras where MV is supposed to suggest many-valued logics. It is known that the classical two-valued logic gives rise to the study of Boolean algebras and, as can be expect...

In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.

In this paper we show that if A is a unital Banach algebra and B is a purely innite C*-algebra such that has a non-zero commutative maximal ideal and $phi:A rightarrow B$ is a unital surjective spectrum preserving linear map. Then $phi$ is a Jordan homomorphism.

Let $A$ be a $C^*$-algebra and $E$ be a left Hilbert $A$-module. In this paper we define a product on $E$ that making it into a Banach algebra and show that under the certain conditions $E$  is Arens regular. We also study the relationship between derivations of $A$ and $E$.

One of the key issues of object-oriented modeling is inheritance. It allows for the definition of subclasses that inherit features of some superclass. Inheritance is well defined for static properties of classes such as attributes and methods. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, determined by their life cycles. T...

Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...

The choice-theoretic derivation of subjective probability proposed by Savage (and generalized by Machina and Schmeidler) does not apply in settings like the Ellsberg Paradox, where choice behavior reflects a distinction between risk and ambiguity. This paper formulates two representation results—one for expected utility, the other for probabilistic sophistication— that derive subjective probabi...

This paper addresses the problem of automatically generating test cases of the behavior of communication software systems, the protocols, which are usually specified in Extended Finite State Machines. The specification technique Statecharts is considered here for specifying the protocol behavior with the objective of using its descriptive power of the hierarchy, orthogonality and synchronizatio...

In this two-part paper, a common algebraic framework is introduced for the frozen-time analysis of stability and H"-optimization in slowly time-varying systems, based on the notion of a normed algebra on which local and global products are defined. Relations between local stability, local (near) optimality, lotal coprime factorization, and global versions of these properties are sought. The fra...

Although gaming the system, a behavior in which students attempt to solve problems by exploiting help functionalities of digital learning environments, has been studied across multiple learning environments, little research has been done to study how (and whether) gaming manifests differently across populations of students and learning environments. In this paper, we study the differences in us...