In this note we prove that there exists a Carathéodory vector lattice such that and . This yields that is a solution of the Schröder-Bernstein problem for Carathéodory vector lattices. We also show that no Carathéodory Banach lattice is a solution of the Schröder-Bernstein problem.
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 ...
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.
In this paper we investigate the relation between the lattice of varieties of pseudo -algebras and the lattice of varieties of lattice ordered groups.
In this paper we deal with the vector lattice of all elementary Carathéodory functions corresponding to a generalized Boolean algebra .
Eighteen open problems posed during FSTA 2010 (Liptovský Ján, Slovakia) are presented. These problems concern copulas, triangular norms and related aggregation functions. Some open problems concerning effect algebras are also included.
Closure -algebras are introduced as a commutative generalization of closure -algebras, which were studied as a natural generalization of topological Boolean algebras.
It is proved by an order theoretical and purely algebraic method that any order bounded orthosymmetric bilinear operator where and are Archimedean vector lattices is symmetric. This leads to a new and short proof of the commutativity of Archimedean almost -algebras.