Uniqueness and order in sequential effect algebras
Abstract
A sequential effect algebra (SEA) is an effect algebra on which a sequential product is defined. We present examples of effect algebras that admit a unique, many and no sequential product. Some general theorems concerning unique sequential products are proved. We discuss sequentially ordered SEA's in which the order is completely determined by the sequential product. It is demonstrated that intervals in a sequential ordered SEA admit a sequential product.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.