×
维勒姆诺瓦克;佩特拉·穆里诺娃

使用中间量词验证三段论的有效性等同于检查Peterson规则。 （英语） Zbl 07734041号

国际J近似推理 161，文章ID 108994，18 p.（2023）.
小结：本文是之前工作的延续，我们分析了彼得森用于检查亚里士多德经典三段论有效性的六条规则，以及它们在检查带有中间量词的三段论的有效性时的扩展。我们形式化了这些规则，并证明只有四个规则是足够的。我们还证明了，如果一个三段论是有效的，那么它满足所有四个（因此也是所有六个）规则。在本文中，我们回到这个主题，并证明了更有力的结果，即带有中间量词的三段论是有效的，当且仅当它满足所有四个（以及因此所有六个）扩展的Peterson规则。

MSC公司：

68层37 人工智能背景下的不确定性推理

关键词：

模糊自然逻辑;广义（中间）量词;亚里士多德三段论;扩展了彼得森的规则;评价性语言表达
PDF格式BibTeX公司 XML格式引用
\textit{V.Novák}和\textit{P.Murinová}，国际期刊近似推理161，文章ID 108994，18 P.（2023；Zbl 07734041）
全文： 内政部

参考文献：

[1] 汤普森，B.E.，使用“很少”、“很多”和“最多”的三段论，圣母院J.Form.Log。，23, 75-84 (1982) ·Zbl 0452.03025号
[2] Peterson，P.，《中间量词》。《逻辑、语言学和亚里士多德语义学》（2000），阿什盖特：阿什盖特-奥尔德肖特
[3] Novák，V.，中间量词的形式理论，模糊集系统。，159, 10, 1229-1246 (2008) ·Zbl 1176.03011号
[4] Murinová，P。；Novák，V.，广义中间三段论的形式理论，模糊集系统。，18647-80（2013年）·Zbl 1250.03046号
[5] Murinová，P。；Novák，V.，用中间量词分析广义对立平方，模糊集系统。，242, 89-113 (2014) ·Zbl 1315.03038号
[6] Murinová，P。；Novák，V.，广义中间三段论的结构，模糊集系统。，247, 18-37 (2014) ·Zbl 1334.03024号
[7] Murinová，P。；Novák，V.，《重温模糊自然逻辑中的中间量词理论和“多”模型》，模糊集系统。，388, 56-89 (2020) ·Zbl 1452.03069号
[8] 彼得斯，S。；Westerstáhl，D.，《语言和逻辑中的量词》（2006），克莱顿出版社：牛津大学克莱顿出版社
[9] Zadeh，L.A.，自然语言中模糊量词的计算方法，计算。数学。，9, 149-184 (1983) ·兹比尔0517.94028
[10] 弗吉尼亚州诺瓦克。；Murinová，P。；Ferbas，P.，Peterson规则的形式分析，用于检查带有中间量词的三段论的有效性，Int.J.Aproxim。原因。，150, 122-138 (2022) ·Zbl 07611309号
[11] Murinová，P.，《模糊自然逻辑中对立的分级结构》，Log。大学。，265, 495-522 (2020) ·Zbl 1497.68461号
[12] Novák，V.，三元评价性语言表达的综合理论，模糊集系统。，159, 22, 2939-2969 (2008) ·Zbl 1176.03012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。