1. Avigad, J.: A variant of the double-negation translation, Technical Report 179, Carnegie Mellon Technical Report CMU-PHIL (2006)
2. Ferreira G., Oliva P.: On various negative translations. Proc. CL&C2010 Electron. Proc. Theor. Comput. Sci. 47, 21–33 (2011)
3. Gabbay D.M.: Applications of trees to intermediate logics. J. Symb. Logic 37, 135–138 (1972)
4. Gabbay D.M., Skvortsov D., Sheftman V.: Quantification in Nonclassical Logic Studies in Logic and the Foundation of Mathematics, vol. 153. Elsevier, Amsterdam (2009)
5. 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. Elsevier, Amsterdam (2007)