Reiser, R.H.S., et al. “S-Implications on Complete Lattices and the Interval Constructor”. Trends in Computational and Applied Mathematics, vol. 9, no. 1, June 2008, pp. 143-54, doi:10.5540/tema.2008.09.01.0143.