An axiomatisation of strong negation and relational composition
Marco Hollenberg · 1995
In the tradition of dynamic semantics in the style of Dynamic Predicate Logic (DPL, [4]), formulas of standard logics are interpreted in a non-standard way, not on assignments, but on pairs of assignments. Formulas are thus no longer viewed as sets of assignments, but as relations on assignments. The four main ingredients of this approach are the following. First there are the constants P (x1�:::�xn) and