Describir: A general algebraic semantics for sentential logics /