Coupling an MV-algebra with a Boolean algebra

Dual Bck - Algebra and Mv - Algebra

The aim of this paper is to study the properties of dual BCK-algebra and to prove that the MV -algebra is equvalent to the bounded commutative dual BCK-algebra.

MV-algebra extended

In this paper, we propose extensions of affine classical linear algebra(ACL-algebra) and many-valued algebra(MV-algebra), the emphasis is being on the latter. MV-algebras are algebraic models of à Lukasiewicz א0-valued logic(à Lא0) and that was established long back in 1958 by C.C. Chang. MV-algebra is recently studied from the angle of fuzzy set theory. Also it is investigated in connection wi...

An Algebra of Boolean Processes

This work has been motivated by the study of the S=R models which allow to represent systems as a set of communicating state machines cooperating through a shared memory. We show that S=R models can be expressed in terms of a process algebra called Boolean SCCS which is a special case of Milner's SCCS, in the sense that the actions are elements of some boolean algebra. We deene for Boolean SCCS...

An atomic MV-effect algebra with non-atomic center

A set E equipped with a partial, commutative and associative operation ⊕, containing elements 0 and 1, in which the existence of a unique inverse element x′ to any x ∈ E is guaranteed, and a⊕ 1 is admitted only if a = 0 is well known as effect algebra. Effect algebras were introduced by Foulis and Bennet [3] and simultaneously by Kôpka and Chovanec [7] as D-posets. An effect algebra equipped wi...

The Extension of an Arbitrary Boolean Algebra to an Implicative Boolean Algebra