Results 31 to 40 of about 19,352 (312)
On Algebras with Effectful Iteration [PDF]
, 2018 For every finitary monad T on sets and every endofunctor F on the category of T-algebras we introduce the concept of an ffg-Elgot algebra for F, that is, an algebra admitting coherent solutions for finite systems of recursive equations with effects represented by the monad T. The goal of this paper is to study the existence and construction of free ffg-
Stefan Milius +2 more
openaire +2 more sources
MEASURES ON EFFECT ALGEBRAS [PDF]
Bulletin of the Australian Mathematical Society, 2008 AbstractIn this paper, by introducing the bounded variation measure defined on effect algebras, we present the equivalent conditions about uniformly strongly additive measures.
Luo, Laizhen, Li, Ronglu
openaire +2 more sources
MAXIMAL SUBSETS OF PAIRWISE SUMMABLE ELEMENTS IN GENERALIZED EFFECT ALGEBRAS
Acta Polytechnica, 2013 We show that in any generalized effect algebra (G;⊕, 0) a maximal pairwise summable subset is a sub-generalized effect algebra of (G;⊕, 0), called a summability block.
Zdenka Riečanová, Jiří Janda
doaj +1 more source
Archimedean atomic lattice effect algebras in which all sharp elements are central [PDF]
, 2006 summary:We prove that every Archimedean atomic lattice effect algebra the center of which coincides with the set of all sharp elements is isomorphic to a subdirect product of horizontal sums of finite chains, and conversely.
Riečanová, Zdenka
core +3 more sources
On the properties of spectral effect algebras [PDF]
Quantum, 2019 The aim of this paper is to show that there can be either only one or uncountably many contexts in any spectral effect algebra, answering a question posed in [S. Gudder, Convex and Sequential Effect Algebras, (2018), arXiv:1802.01265].
Anna Jenčová, Martin Plávala
doaj +1 more source
E-Jurnal Matematika, 2013 The experimental design was applied in research in many different fields of science, such as in education, as used in this study. Block algebra visual aids is a visual aids in the form of the geometry model used to concretize understanding the variables ...
NI PUTU AYU MIRAH MARIATI +2 more
doaj +1 more source
Intervals of effect algebras and pseudo-effect algebras
Mathematica Slovaca, 2010 Abstract It is shown that an arbitrary interval of a pseudo-effect algebra is a pseudo-effect algebra and some results concerning Riesz decomposition properties, compatibilities and states are proved.
Chajda, Ivan, Kühr, Jan
openaire +2 more sources
A Logic for Algebraic Effects [PDF]
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calculus which separates values, effects, and computations and thereby canonises the order of evaluation.
Gordon D. Plotkin, Matija Pretnar
openaire +2 more sources
Jurnal E-DuMath, 2016 The research is aims to determine the effect of feedback on students’ mistake in completing the algebra arithmetic operation. The effect can be seen by the average difference in students’ mistake in completing the algebra arithmetic operation between ...
Siti Rahayu
doaj +1 more source
Towards an algebra for cascade effects [PDF]
53rd IEEE Conference on Decision and Control, 2014 We introduce a new class of (dynamical) systems that inherently capture cascading effects (viewed as consequential effects) and are naturally amenable to combinations. We develop an axiomatic general theory around those systems, and guide the endeavor towards an understanding of cascading failure.
Adam, Elie M +2 more
openaire +5 more sources