In this paper the context of independent sets is assigned to the complete lattice (P(M),⊆) of all subsets of a non-empty set M. Some properties of this context, especially the irreducibility and the span, are investigated.
Uninorms were introduced by Yager and Rybalov [13] as a generalization of triangular norms and conorms. We ask about properties of increasing, associative, continuous binary operation in the unit interval with the neutral element . If operation is continuous, then or . So, we consider operations which are continuous in the open unit square. As a result every associative, increasing binary operation with the neutral element , which is continuous in the open unit square may be given in ...
Trillas ([1]) has defined a relational probability on an intuitionistic algebra and has given its basic properties. The main results of this paper are two. The first one says that a relational probability on a intuitionistic algebra defines a congruence such that the quotient is a Boolean algebra. The second one shows that relational probabilities are, in most cases, extensions of conditional probabilities on Boolean algebras.
The probability of the occurrence of an event pertaining to a physical system which is observed in different states determines a function from the set of states of the system to . The function is called a numerical event or multidimensional probability. When appropriately structured, sets of numerical events form so-called algebras of -probabilities. Their main feature is that they are orthomodular partially ordered sets of functions with an inherent full set of states. A classical...
The variety of lattices generated by lattices of all convex sublattices of distributive lattices is investigated.
This paper deals with output feedback synthesis for Timed Event Graphs (TEG) in dioid algebra. The feedback synthesis is done in order to (1) stabilize a TEG without decreasing its original production rate, (2) optimize the initial marking of the feedback, (3) delay as much as possible the tokens input.
The class of p-semisimple pseudo-BCI-algebras and the class of branchwise commutative pseudo-BCI-algebras are studied. It is proved that they form varieties. Some congruence properties of these varieties are displayed.