1. Alizadeh, M., and N. Joharizadeh, Counting weak Heyting algebras on finite distributive lattices, Logic Journal of the Interest Group in Pure and Applied Logics 23(2):247–258, 2015.
2. Alizadeh, M., M. Ardeshir, and W. Ruitenburg, Boolean algebras in Visser algebras, Notre Dame Journal of Formal Logic 57:141–150, 2016.
3. Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44:317–343, 1998.
4. Birkhoff, G., Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25, 3rd edn, 3rd printing, American Mathematical Society, Providence RI, 1979.
5. Celani, S., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51:219–246, 2005.