Processing of the certain information, especially inferences based on certain information. Is based on classical two-valued logic. Due to strict and complete logical foundation (classical logic), making inference levels. Thus, it is natural and necessary to attempt to establish some rational logic system as the logical foundation for uncertain information processing. It is evident that this kin...

In this paper we want to further investigate the usage of matrices as a representation of relations within arbitrary heterogeneous relation algebras. First, we want to show that splittings do exist in matrix algebras assuming that the underlying algebra of the coefficients provides this operation. Second, we want to outline an implementation of matrix algebras using reduced ordered multi-valued...

Let T be an orientation-preserving Lipschitz expanding map of the circle T. A pre-image selector is a map τ : T → T with finitely many discontinuities, each of which is a jump discontinuity, and such that τ (x) ∈ T(x) for all x ∈ T. The closure of the image of a pre-image selector is called a flower, and a flower with p connected components is called a p-flower. We say that a real-valued Lipsch...