Implicative Semi-Lattices

Abstract
References [Enhancements On Off] (What's this?)