Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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".

share|improve this question
    
Asked on MO: mathoverflow.net/questions/82246/… –  The Decider Nov 30 '11 at 4:03

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.