 The two negations form a so-called Galois connection, which means that \(A \vdash \osim _1 B \mbox{ iff } B \vdash \osim _2 A.\) The negations \(\osim _1\) and \(\osim _2\) are called Galois negations or split negations; they are both preminimal negations and satisfy the following interaction principles: \(A \vdash \osim _1 \osim _2 A\); \(A \vdash \osim _2 \osim _1 A.\) A discussion of split negation can be found in Wansing 2016b.