Material implication is the usual propositional logic that is used in generate-sink kinds of gate design. I think maybe you mean strict implication? I read a

Material implication is the usual propositional logic that is used in generate-sink kinds of gate design. I think maybe you mean strict implication? I read a paper a few years back that showed how you can use strict implication to design regular propositional logics that can house resource sensitive logics like linear logic.