1. Gabbay, 1972 – Gabbay, D.M. “Application of trees to intermediate logics”, Journal of Symbolic Logic, 1972, Vol. 37, pp. 135–138.
2. Gabbay et al., 2009 – Gabbay, D., Shehtman, V., Skvortsov, D. “Quantification in Nonclassical Logic”, Vol. 1, Studies in Logic and the Foundations of Mathematics, Vol. 153. Amsterdam: Elsevier Science Publisher, 2009. Sections 1.13, 1.15, 2.6.
3. Galatos et al., 2007 – Galatos, N., Jipsen, P., Kowalski, T., Ono, H. “Residuated Lattices: An Algebraic Glimpse at Substructural Logics”, Studies in Logic and the Foundations of Mathematics, Vol. 151. Amsterdam: Elsevier Science Publisher, 2007.
4. Gödel, 1933 – Gödel, K. “ Über Unabhängigkeitsbeweise im Aussagenkalkül”, Ergebnisse eines mathematischen Kolloquiums, 1933, Vol. 4, pp. 9–10.
5. Hosoi, 1967 – Hosoi, T. “On intermediate logics, I”, Journal of the Faculty of Science of the University of Tokyo, Sect. I, 1967, Vol. 14, No. 2, pp. 293–312.