Bruce E. R. Thompson Why is Conjunctive Simplication Invalid? 248-254 1991 32 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl32.html#Thompson91