Functional Completeness of Weak Logics with the Strict Negation?
Ivan Chajda and Radomír Halas
We study weak logics with strict negation or globalization which turn out to be discriminator algebras. These logics are characterized by a certain weak equivalence operation.