Mixed algebras and their logics

摘要

We investigate complex algebras of the form 〈2~X, 〈R〉, [[S]]〉 arising from a frame 〈X, R, S〉 where S ⊆ R, and exhibit their abstract algebraic and logical counterparts.