Truncated distributive lattices : conceptual structures of simply implicational theories - Wille, Rudolf, 1937- (Preprint ;, 2003)