arrow
返回

Unsharp residuation in posets

delete2025-10-13
delete0
PRE
AI
I
Ivan Chajda
A
A Ledda *
J
Jan Paseka
G
Gandolfo Vergottini
DOI:10.1016/j.fss.2025.109635delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
众所周知,存在某些命题逻辑,其中逻辑连接词不必对所讨论的任何命题进行定义。例如,量子力学的逻辑中,如果析取项不满足正交条件,析取(disjunction)无需定义。问题是,是更倾向于让某些命题连接词的取值保持未定义状态,还是允许存在多个不可比较的结果,且不确定其中哪些可以被判定为更优。这种“非锐化”(unsharp)的方法最初在20世纪80年代末被提及,随后针对多种逻辑连接词进行了详细阐述。本文讨论了这一推理同样可以扩展至基于偏序集(posets)的“模糊类”(fuzzy-like)逻辑。

期刊

Fuzzy Sets and Systems 封面图
Fuzzy Sets and Systems
IF:
2.7
论文数:
7.6K
被引数:
1.5W

机构

U
università di cagliari
学者数:
61
论文数: 40
被引数: 0
P
Palacký University Olomouc
学者数:
206
论文数: 78
被引数: 8.5K
U
universitá di urbino carlo bo
学者数:
1
论文数: 1
被引数: 0
M
masaryk university brno
学者数:
1.1W
论文数: 7.8K
被引数: 9
学者 查看更多机构
引用论文

引用论文

Uninorm Basics
err2024-09-04
err0
PREAI
errJános Fodor; Bernard De Baets
err分享
err收藏
err分享
err收藏
A Survey of Residuated Lattices
err2002-01-01
err0
PREAI
errP. Jipsen; C. Tsinakis
err分享
err收藏
err分享
err收藏
Toward a formal language for unsharp properties
err1989-07-01
err0
PREAI
errRoberto Giuntini; Heinz Greuling
err分享
err收藏
err分享
err收藏
The Logic of Quantum Mechanics
err1936-10-01
err0
PREAI
errGarrett Birkhoff; John Von Neumann
err分享
err收藏
Tense Operators on MV-Algebras and Łukasiewicz-Moisil Algebras
err
IF0
err2007-01-01
err0
PREAI
errDenisa Diaconescu; George Georgescu
err分享
err收藏
Metamathematics of Fuzzy Logic
err1998-01-01
err0
PREAI
errPetr Hájek
err分享
err收藏
Algebraic Foundations of Many-Valued Reasoning
err2000-01-01
err0
errOAAI
errRoberto L. O. Cignoli; Itala M. L. D’Ottaviano; Daniele Mundici
err分享
err收藏
学者 查看更多内容