易卜拉欣·森特克;奥尼尔，塔辛 用卡罗尔的图表对范畴三段论进行代数分析。 （英语） Zbl 1499.03009号 Filomat公司 33，第2期，367-383（2019年）. 引用于2文件 MSC公司： 03B22号 抽象演绎系统 03G27号 抽象代数逻辑 18B35型 预订单、订单、域和格（视为类别） 关键词：范畴三段论;完整性;有效性;代数逻辑 PDF格式BibTeX公司 XML格式引用 \textit{I.Senturk}和\textit{T.Oner}，Filomat 33，No.2，367--383（2019；Zbl 1499.03009） 全文： 内政部 参考文献： [1] J.Barnes，《亚里士多德全集：牛津修订译本》，普林斯顿大学出版社，2014年。 [2] G.Boole，《思想法则》，公开法庭出版公司，1916年·Zbl 1035.03003号 [3] S.Burris，《适合传统三段论逻辑的布尔代数逻辑片段》，印前，2003年。（网址：www.thoralf.uwaterloo.ca） [4] L.Carroll，《符号逻辑》（第二版），克拉克森·N·波特出版社，1896年。 [5] 张成川，多值逻辑的代数分析，译。阿默尔。数学。《社会学杂志》88（1958）467-490·Zbl 0084.00704号 [6] C.C.Chang，Łukasiewicz公理完备性的新证明，Trans。阿默尔。数学。Soc.93（1958）74-80·Zbl 0093.01104号 [7] G.Englebretsen，三段论的线性图，《圣母院形式逻辑》33（1992）37-69·Zbl 0775.03001号 [8] A.Gursoy，I.Sernturk，T.Oner，通过卡罗尔图对范畴三段论进行新的算法决策，arXiv:1802.04127。 [9] R.Cignoli，I.D’Ottaviano，D.Mundici，《多值推理的代数基础》，多德雷奇：克鲁沃学术出版社，2000年·Zbl 0937.06009 [10] S.L.Kryvyi，A.V.Palagin，《对自然语言对象的分析》，《智能》。处理（2009）36-43。 [11] B.A.Kulik，《自然话语的逻辑》，奈夫斯基方言，2001年。 [12] A.E.Kulinkovich，解决地质问题的推理算法，Proc。方法地理学。，Naukova Dumka（1979）145-161。 [13] B.Kumova，H.Cakir，三段论的算法决策，应用趋势。智能系统。(2010) 28-38. [14] J.Łukasiewicz，《从现代形式逻辑的角度看亚里士多德的三段论》（第二版），牛津大学出版社，1957年·Zbl 0043.24601号 [15] J.Niittym¨aki，E.Turunen，基于相似逻辑推理的交通信号控制，模糊集系统。133 (2003) 109-131. ·Zbl 1045.93028号 [16] I.Pratt-Hartmann，L.S.Moss，《关于数值定三段论和相关逻辑的计算复杂性》，《符号逻辑评论2》（2009）647-683·Zbl 1189.03014号 [17] D.Rayside，K.Kontogiannis，《面向对象编程的三段论结构》，Proc。第23届国际软件工程师大会。(2001) 113-122. [18] I.Senturk，T.Oner，基于范畴三段论的Heyting代数构造，Mat.Bilt。41 (2017) 5-12. ·Zbl 1393.06006号 [19] I.Senturk，T.Oner，U.Nuriyev，通过图解法实现范畴三段论的完备性，符号逻辑协会欧洲夏季会议，逻辑学术讨论会，2016年。 [20] E.Turunne，《彼得森中间三段论的代数研究》，《软计算》18（2014）2431-2444·Zbl 1330.03065号 [21] L.A.Zadeh，作为专家系统证据组合基础的三段论推理，第九届国际人工智能联合会议，1，（1985）417-419 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。