  The paper proposes a new type of negation in multi-valued logics, providing a
different way to answer the following question: what does it mean that some
object language formula does not have a given truth-value. Along the way, the
paper provides a general definition of truth and falsity in an arbitrary
many-valued logic.
