A generalization of falsity in finitely-many valued logics

03/31/2022

∙

by   Nissim Francez, et al.

∙

0

∙

share

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.