SIXTEEN _3 in Light of Routley Stars
SIXTEEN _3 in Light of Routley Stars
复制标题
鲁特利星光下的十六_3
DOI：
10.1007/978-3-662-59533-6_31
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Daniel Skurt
中科院分区：
文献类型：
--
作者：
Hitoshi Omori;Daniel Skurt
对于最著名的多值逻辑之一FDE，有几种语义，包括Richard Quilley和Valerie Quilley的星星语义，Michael Dunn的二值关系语义和Nuel Belnap的四值语义。最后一个语义学启发了Yaroslav Shramko和Heinrich Wansing引入了trilatticeSiXTEEN。在这篇文章中，我们提供了两个可供选择的语义表示为Sixteen，通过应用Quilleys的语义和邓恩语义。基于我们的新语义，我们讨论了具有较少真值的相关系统，以及与基于FDE的模态逻辑的关系。
For one of the most well-known many-valued logicsFDE, there are several semantics, including the star semantics by Richard Routley and Valerie Routley, the two-valued relational semantics by Michael Dunn and the four-valued semantics by Nuel Belnap. The last semantics inspired Yaroslav Shramko and Heinrich Wansing to introduce the trilatticeSIXTEEN. In this article, we offer two alternative semantical presentations forSIXTEEN, by applying the Routleys’ semantics and the Dunn semantics. Based on our new semantics, we discuss related systems with less truth values, as well as the relation toFDE-based modal logics.
登录
查看更多内容
一些更有用的 8 值逻辑，用于 Tetralattice EIGHT4 推理
影响因子：
0.7
作者：
D. Zaitsev
通讯作者：
D. Zaitsev
论Shramko-Wansing逻辑的公理化
影响因子：
0.7
作者：
S. Odintsov
通讯作者：
S. Odintsov
超越可访问性：模态逻辑的功能模型
影响因子：
1.5
作者：
J. Benthem
通讯作者：
J. Benthem
真理与谎言
影响因子：
0.7
作者：
Y. Shramko;H. Wansing
通讯作者：
H. Wansing
一些有用的 16 值逻辑：计算机网络应该如何思考
影响因子：
1.5
作者：
Y. Shramko;H. Wansing
通讯作者：
H. Wansing