1. Avron, A. [1987] The semantics and proof theory of linear logic, Preprint
2. Groups et Anneaux Reticules;Bigard,1977
3. Birkhoff, G. [1967] Lattice Theory, 3rd ed., Am. Math. Soc. Colloq. Publ. 25, Providence, R. I
4. Casari, E. [1981] Remarks on comparison and superlation, Atti Convegno Naz. Logica (1979), pp. 261–271, Bibliopolis, Napoli