A generalization of falsity in finitely-many valued logics
Logic in Computer Science
2022-04-01 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2203.16890,
title = {A generalization of falsity in finitely-many valued logics},
author = {Nissim Francez},
journal= {arXiv preprint arXiv:2203.16890},
year = {2022}
}