论文标题

有限的有价值逻辑中虚假的概括

A generalization of falsity in finitely-many valued logics

论文作者

Francez, Nissim

论文摘要

本文提出了一种在多价值逻辑中的新型否定类型,提供了一种不同的方法来回答以下问题:这意味着某些对象语言公式没有给定的真实价值。一路走来,本文在任意多价值逻辑中提供了真理和虚假性的一般定义。

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.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源