Effect Algebras

Origin. Foulis and Bennett introduced effect algebras (1994) to generalize quantum logic and probability. Abstracts the structure of quantum effects (positive operators ≤ I). Connects quantum mechanics, fuzzy logic, and generalized probability. Part of the "quantum structures" tradition alongside orthomodular lattices.

Models. Unsharp measurements and partial operations. Quantum logic (orthomodular lattices) models sharp, yes/no measurements. Effect algebras model unsharp measurements: effects can be partially true. The partial sum a ⊕ b represents "a then b" when they're compatible. Models generalized probability beyond classical and quantum.

Formalism.

Effect algebra: (E, 0, 1, ⊕) where:

E is a set of effects
0 (zero effect), 1 (unit effect)
⊕ : E × E → E is a partial binary operation

Axioms:

Commutativity: if a ⊕ b defined, then b ⊕ a defined and equal
Associativity: if a ⊕ b and (a ⊕ b) ⊕ c defined, then b ⊕ c and a ⊕ (b ⊕ c) defined and equal
Zero: a ⊕ 0 = a for all a
Orthocomplement: for each a, unique a' with a ⊕ a' = 1
Zero-one: if a ⊕ 1 defined, then a = 0

Derived notions:

a' = orthocomplement (unique)
a ≤ b iff ∃c: a ⊕ c = b
a ⊥ b iff a ⊕ b defined (orthogonal/compatible)

Examples:

[0,1] interval: a ⊕ b = a + b when a + b ≤ 1
Orthomodular lattices: a ⊕ b = a ∨ b when a ⊥ b
Hilbert space effects: {E : 0 ≤ E ≤ I}, a ⊕ b = a + b when a + b ≤ I

MV-effect algebras: If ⊕ is totally defined (always a ⊕ b exists), get MV-algebra. Connects to Łukasiewicz logic.

States: A state is s: E → [0,1] with s(1) = 1 and s(a ⊕ b) = s(a) + s(b). States assign probabilities respecting structure.

Sharp vs unsharp: a is sharp if a ∧ a' = 0 (completely determined). Quantum logic = sharp elements; effect algebras include unsharp.

Symbols.

Symbol	Unicode	Name	Meaning
⊕	U+2295	Partial sum	Compatible combination
'	—	Orthocomplement	Negation
0	—	Zero	Null effect
1	—	Unit	Certain effect
≤	U+2264	Order	Effect ordering
⊥	U+22A5	Orthogonal	Compatible
E	—	Effects	Operators ≤ I
s	—	State	Probability measure

Metatheory. Effect algebras generalize orthomodular lattices (sharp case) and MV-algebras (totally defined case). States correspond to generalized probability measures. Every effect algebra embeds in an interval [0, u] of a partially ordered abelian group. Morphisms preserve ⊕ and '. Categorical structure well-understood.

Applies to. Quantum foundations (unsharp measurements). Generalized probability theory. Fuzzy sets and fuzzy logic. Quantum computing (effect semantics). Foundations of statistical mechanics. Philosophical foundations of uncertainty.

Limitations. Very abstract — far from computational practice. Multiple competing generalizations (effect algebras, effect monoids, etc.). Connection to actual quantum computation is indirect. Less developed proof theory compared to standard logics. Primarily of foundational interest.