Ertola Biraben, R. J. Michael Dunn and Gary M. Hardegree, "Algebraic Methods in Philosophical Logic", Oxford Logic Guides, No. 41. LLP 2005, 14, 265-267.