I think you are right about the comment about linear logic. I must be confusing A U A with A U ^A. I checked the paper that I was thinking about and the condit

I think you are right about the comment about linear logic. I must be confusing A U A with A U ^A. I checked the paper that I was thinking about and the condition that I saw there is distributivity being dropped rather than double negation being dropped.