It is not the case that Purity conditions require rules to manipulate only target operators; denial as primitive introduces new logical machinery, not purely inferential negation.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.