Văn bản này: Algebraic methods in philosophical logic / J. Michael Dunn and Gary M. Hardegree.