Results 281 to 290 of about 19,352 (312)

Product Effect Algebras

International Journal of Theoretical Physics, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Ideals and congruences in effect algebras and qmv-algebras

Communications in Algebra, 2000
Ideals and sets of ideals of different types on QMV-algebras and the corresponding effect algebras are studied and compared.
GIUNTINI, ROBERTO, PULMANNOVA S.
openaire   +1 more source

Pseudo-BL algebras and pseudo-effect algebras

Fuzzy Sets and Systems, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xiao-hong Zhang 0001, Xue-Shuang Fan
openaire   +1 more source

Lattice-ordered effect algebras and L-algebras

Fuzzy Sets and Systems, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yali Wu, Jing Wang, Yichuan Yang
openaire   +2 more sources

Algebraic Operations and Generic Effects

Applied Categorical Structures, 2003
\textit{E. Moggi} [in: Proc. LICS '89, IEEE Press, 14-23 and Inf. Comput. 93, 55-92 (1991; Zbl 0723.68073)] introduced the idea of giving a unified category-theoretic semantics for computational effects, modeling each of them in the Kleisli category of an appropriate strong monad on a base category with finite products. However, the calculus of Moggi's
Gordon D. Plotkin, John Power
openaire   +1 more source

Congruences and Ideals of Effect Algebras

Order, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
AVALLONE, Anna, VITOLO, Paolo
openaire   +2 more sources

On the Structure of Generalized Effect Algebras and Separation Algebras

2018
Separation algebras are models of separation logic and effect algebras are models of unsharp quantum logics. We investigate these closely related classes of partial algebras as well as their noncommutative versions and the subclasses of (generalized) (pseudo-)orthoalgebras.
Sarah Alexander, Peter Jipsen, Nadiya Upegui   +2 more
openaire   +1 more source

Effect Algebras and Para-Boolean Manifolds

International Journal of Theoretical Physics, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CATTANEO G, DALLA CHIARA ML, GIUNTINI, ROBERTO, PULMANNOVA S.   +3 more
openaire   +3 more sources

Congruences and ideals in pseudo effect algebras as total algebras

Soft Computing, 2009
Congruences and ideals in pseudo-effect algebras and their total algebra versions are studied. It is shown that every congruence of the total algebra induces a Riesz congruence in the corresponding pseudo-effect algebra. Conversely, to every normal Riesz ideal in a pseudo-effect algebra there is a total algebra in which the given ideal induces a ...
Sylvia Pulmannová, Elena Vinceková
openaire   +1 more source

Atomicity of lattice effect algebras and their sub-lattice effect algebras

Kybernetika, 2009
Summary: We show some families of lattice effect algebras (a common generalization of orthomodular lattices and MV-effect algebras) each element \(E\) of which has atomic center \(C(E)\) or the subset \(S(E)\) of all sharp elements, respectively the center of compatibility \(B(E)\) or every block \(M\) of \(E\).
Jan Paseka, Zdenka Riecanová
openaire   +2 more sources