Systeme logique de Kermani Marwen