Material and Strict Implication in Boolean Al-gebras, Revisited

Enric Trillas, Rudolf Seising
unpublished
It can be said that Formal Logic begun by studying an idealization of
fatcat:bvpxaovvmbgb3prgqwyupccwfa