1. Birkhoff, G. (1948). Lattice theory (Vol. 25, revised ed.). American Mathematical Society Colloquium Publications. New York: American Mathematical Society.
2. Blok, W. (1976). Varieties of interior algebras. Ph.D thesis, University of Amsterdam.
3. Citkin, A. (2013). Characteristic formulas of partial Heyting algebras. Logica Universalis, 7(2), 167–193. https://doi.org/10.1007/s11787-012-0048-7.
4. Fine, K. (1974). An incomplete logic containing $${\rm S}4$$. Theoria, 40(1), 23–29.
5. Galatos, N., Jipsen, P., Kowalski, T., & Ono, H. (2007). Residuated lattices: An algebraic glimpse at substructural logics, Studies in logic and the foundations of mathematics (Vol. 151). Amsterdam: Elsevier B. V.