An Algebraic Approach to Reasoning with Conditional Information