1. Ono, H. (1993). Semantics for substructural logics. In K. Došen & P. Schröder-Heister (eds.), Substructural Logics (pp. 259–291). Oxford: Oxford University Press.
2. Galatos, N., Jipsen, P., Kowalski, T., Ono, H., & Lattices, R. (2007). An Algebraic Glimpse at Substructural Logics, Studies in logic and the foundations of mathematics (Vol. 151). Amsterdam: Elsevier.
3. Ciabattoni, A., Galatos, N., & Terui, K. (2012). Algebraic proof theory for substructural logics: Cut-elimination and completions. Annals of Pure and Applied Logic, 163(3), 266–290.
4. Jónsson, B., & Tarski, A. (1951). Boolean algebras with operators I. American Journal of Mathematics, 73, 891–939.
5. Jónsson, B., & Tarski, A. (1952). Boolean algebras with operators II. American Journal of Mathematics, 74, 127–162.