Section 5, Frames and Algebras. 途中 5.5 まで。 5.1 Introduction 有限な BAO に対し atom の集合の上にで関係を定義して frame を作ることができる。また、有限な frame が与えられたとき、その冪集合上に BAO の構造が自然に入る (complex algebra)。こ…

Handbook of modal logic の中にある "Algebra and Coalgebra" という章を読んでます。http://staff.science.uva.nl/~yde/papers/ac.pdf に、だいたい同じ内容のものが置いてあります。Section 4 は "Varieties of Expanded Boolean Algebras" というタイト…