States on implication basic algebras

Abstract

In this paper, the notions of Bosbach states and state-morphisms on implication basic algebra are introduced, along with their properties and related results. It is proved that Bosbach states coincide with Riecan states on bounded implication basic algebras.<br /> Accordingly, the relations between Bosbach states and state-morphisms are discussed. It is proved that sm is a state-morphism on IB if and only if sm is a Bosbach state and sm(x V y)=sm(x)V sm(y) .<br /> In addition, the concept of internal states on implication basic algebras is defined, and accordingly, the notions of IS-prefilters, IS-filters, and IS-congruence relations on implication basic algebras are introduced. Then, it is proved that one-to-one correspondence is available between the set of all IS-filters and IS-congruence relations on implication basic algebras.<br />Finally, the new notion of generalized state maps from an implication basic algebra IB₁ to an arbitrary implication basic algebra IB₂ is defined and generalized state-morphisms and generalized internal states as two types of individual generalized state maps are introduced. This confirmed that the generalized internal states are a generalization of internal states, and the generalized state-morphisms are a generalization of state-morphisms on implication basic algebras. Finally, it is shown that a generalized internal state <em>gs</em> is an internal state on implication basic algebra IB if gs²=g.