Stav dette: Algebraic logic