有限多值逻辑中 falsity 的推广
计算机科学中的逻辑
2022-04-01 v1
摘要
本文在多值逻辑中提出一种新型否定，为回答如下问题提供了不同的途径：某一对象语言公式不具有给定真值意味着什么。在此过程中，本文给出了任意多值逻辑中真与假的通用定义。
引用
@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}
}