In this paper, the authors introduce the notion of conditional expectation of an observable on a logic with respect to a sublogic, in a state , relative to an element of the logic. This conditional expectation is an analogue of the expectation of an integrable function on a probability space.
In this paper we carry on the investigation of partially additive states on quantum logics (see [2], [5], [7], [8], [11], [12], [15], [18], etc.). We study a variant of weak states — the states which are additive with respect to a given Boolean subalgebra. In the first result we show that there are many quantum logics which do not possess any 2-additive central states (any logic possesses an abundance of 1-additive central state — see [12]). In the second result we construct a finite 3-homogeneous...
We characterise those Hilbert algebras that are relatively pseudocomplemented posets.
The paper shows that commutative Hilbert algebras introduced by Y. B. Jun are just J. C. Abbot’s implication algebras.
Lattice-ordered groups, as well as -algebras (pseudo -algebras), are both particular cases of dually residuated lattice-ordered monoids (-monoids for short). In the paper we study ideals of lower-bounded -monoids including -algebras. Especially, we deal with the connections between ideals of a -monoid and ideals of the lattice reduct of .
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are...
In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.
In this paper, we present the representation for uni-nullnorms with disjunctive underlying uninorms on bounded lattices. It is shown that our method can cover the representation of nullnorms on bounded lattices and some of existing construction methods for uni-nullnorms on bounded lattices. Illustrative examples are presented simultaneously. In addition, the representation of null-uninorms with conjunctive underlying uninorms on bounded lattices is obtained dually.
Partitioner algebras are defined in [2] and are natural tools for studying the properties of maximal almost disjoint families of subsets of ω. In this paper we investigate which free algebras can be represented as partitioner algebras or as subalgebras of partitioner algebras. In so doing we answer a question raised in [2] by showing that the free algebra with generators is represented. It was shown in [2] that it is consistent that the free Boolean algebra of size continuum is not a subalgebra...
M. Busaniche, R. Cignoli (2014), C. Tsinakis and A. M. Wille (2006) showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also lattice operations. We generalize this problem to left-residuated groupoids which need not be lattice-ordered. Hence, we cannot use the same construction for the full twist product. We present another appropriate construction which, however, does not preserve commutativity and associativity of multiplication....
In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [P. Cordero, M. Enciso, and I. de Guzmán: Structure theorems for closed sets of implicates/implicants in temporal logic. (Lecture Notes in Artificial Intelligence 1695.) Springer–Verlag, Berlin 1999]....