Functional Completeness of Weak Logics with the Strict Negation

Ivan Chajda and RadomÍr Hala

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.