A logical and algebraic treatment of conditional probability