  Another approach would be to not just dualize assertion-centered proof-theoretic semantics in favour of a denial-centered refutation-theoretic semantics, but to see the relation between rules for assertion and for denial as governed by an inversion principle or principle of definitional reflection of its own. This would be a principle of what might be called “assertion-denial-harmony”. Whereas in standard proof-theoretic semantics, inversion principles control the relationship between assertions and assumptions (or consequences), such a principle would now govern the relationship between assertion and denial. Given certain defining conditions of A, it would say that the denial of every defining condition of A leads to the denial of A itself. For conjunction and disjunction it leads to the common pairs of assertion and denial rules