Algebras of implication and semi-lattices James C. Abbott Séminaire Dubreil. Algèbre et théorie des nombres