[mikorym]

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.