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

