2
$\begingroup$

The structure has two carrier sets $E$ and $A$, operators $({}^*, \wedge)$ over $E$, and a ternary "decision" operator $D:E \times A \times A \to A$, written infix $(p?a:b)$, whose intended meaning is "if p then a, else b."

Axioms:

  • $(p?a:a) =a$
  • $(p?(p?a:b):(p?c:d)) = (p?a:d)$
  • $(p?(q?a:b):(q?c:d)) = (q?(p?a:c):(p?b:d))$
  • $(p^*?a:b) = (p?b:a)$
  • $(p \wedge q ? a:b) = (p?(q?a:b):b)$

If we quotient $E$ by equivalence $p \sim q :\iff \forall a,b (p?a:b)=(q?a:b)$ then it follows this quotient is a boolean algebra.

I'm sure lots of people have thought of this, or something equivalent. Does it have a name? I was going to call it a "decision space over a boolean algebra".

  • 0
    Asked on MO: http://mathoverflow.net/questions/82246/name-for-this-type-of-space-over-a-boolean-algebra2011-11-30

0 Answers 0