Keyword:BL-algebra

Publications
Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra Celestin Lele and Jean Bernard Nganou In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic