A theory of local negation: the model and some applications. Yvon Gauthier — 1985 Archiv für mathematische Logik und Grundlagenforschung