标识PTI
波兰信息处理协会
标志FedCSIS

计算机科学和信息系统年鉴,体积21

2020年计算机科学和信息系统联合会议记录

有限哥德尔代数的对偶计算

,,

DOI（操作界面）：http://dx.doi.org/10.15439/2020F169

引用：《2020年计算机科学和信息系统联合会议论文集》，M.Ganzha，L.Maciaszek，M.Paprzycki（eds）。ACSIS，第21卷，第页31——34()

全文

摘要。我们引入了一种算法计算k≥1的有限G模型Dummett代数的对偶元素。我们算法的计算成本取决于k的因式分解，然而Python实现是足够快以计算非常大的k值的结果

工具书类

  1. N.Smith，《模糊理论中的模糊逻辑》，《数学模糊逻辑手册》。第3卷，P.Cintula、C.Fermüller和C.Noguera，Eds.College Publications，2016年，第58卷，第1237–1281页。
  2. P.Hájek，模糊逻辑的元数学，ser。逻辑趋势。Kluwer公司学术出版社，1998年，第4卷。
  3. K.Gödel，“Zum直觉主义Aussagenkalkul”，Anzeiger Akademieder Wissenschaften Wien，第69卷，第65-66页，1932年。
  4. M.Dummett，“具有可数矩阵的命题演算”，J。符号。日志。，第24卷，第2期，第97–106页，1959年。
  5. A.Horn，“自由L-代数”，J.Symb。日志。，第34卷，第3期，第475-480页，1969
  6. O.M.D’Antona和V.Marra，“计算有限的副产品介绍了哥德尔代数，“Ann.Pure Appl。《逻辑》，第142卷，第1期，pp。202–211, 2006.
  7. W.Taylor，“多样性的精细谱”，《普遍代数》，第5卷，第1期，第263–303页，1975年。
  8. D.Valota，《哥德尔代数的谱》，语言、逻辑和计算。TbiLLC 2017，ser。计算机科学课堂讲稿，A.Silva、S.Staton、P.Sutton和C.Umbach，2019年版，第11456卷。
  9. 西。麦库恩，“证明人9和权杖4，“2005–2010,网址：http://www.cs.unm.edu/~mccune/校准仪9/.
  10. J.A.Robinson和A.Voronkov编辑，《自动推理手册》（共2卷）。爱思唯尔和麻省理工学院出版社，2001年。
  11. S.Aguzzoli和P.Codara，“计算余积的递归公式有限Gödel代数和相关结构”，2016年IEEE模糊系统国际会议（FUZZ-IEEE），2016-208页。
  12. A.Horn，“线性有序Heyting中具有真值的逻辑《代数》，J.Symb。日志。，第34卷，第3期，第395-408页，1969年。
  13. S.Aguzzoli、S.Bova和B.Gerla，“自由代数和泛函《数学模糊手册》中的“模糊逻辑的表示”Logic，P.Cintula、P.Hájek和C.Noguera，编辑学院出版物，2011年，第2卷，第713-791页。
  14. A.Knopfmacher和M.E.Mays，“因子分解计数的调查函数”，《国际数论杂志》，第01卷，第04期，pp。563–581, 2005.
  15. T.Cormen、C.Leiserson、R.Rivest和C.Stein，简介算法。麦格劳-希尔出版公司，2001年。
  16. F.Dodd和L.Mattics，“估计乘法的数量分区，《洛基山数学杂志》，第17卷，第4期，pp。797–814, 12 1987.
  17. A.Meurer等人，“Sympy:python中的符号计算”PeerJ计算机科学，第3卷，第103页，2017年。[在线]。可用：https://doi.org/10.7717/peerj-cs.103
  18. J.Ellson、E.R.Gansner、E.Koutsofios、S.C.North和G.Woodhull，中的“Graphviz和dynagraph-静态和动态图形绘制工具”图形绘制软件。Springer-Verlag，2003年，第127-148页。
  19. R.Belohlavek和V.Vychodil，“尺寸≤12的残余晶格”订单，第27卷，第2号，第147-161页，2010年。
  20. F.Esteva和L.Godo，“基于单体t-范数的逻辑：走向逻辑关于左连续t-范数，“模糊集与系统，第124卷，第3期，第271-288页，2001年。
  21. S.Aguzzoli、M.Busaniche和V.Marra，“有限的光谱二重性生成的幂零最小代数及其应用”，J.Log。计算。，第17卷，第4期，第749-765页，2007年。
  22. S.Bova和D.Valota，“有限RDP-代数：对偶、余积和逻辑，“J.Log。计算。，2012年，第22卷，第3期，第417-450页。
  23. D.Valota，“与修订版相关的逻辑和代数的表示drastic产品t-norm，《软计算》，第23卷，第2331–2342页，2019年。
  24. S.Aguzzoli、M.Bianchi、B.Gerla和D.Valota，《哥德尔∆逻辑中的概率度量》，符号和定量方法《不确定性推理》，A.Antonucci、L.Cholvy和O.Papini，斯普林格出版社，2017年，第353–363页。
  25. S.Aguzzoli、M.Bianchi、B.Gerla和D.Valota，“命题Gödel∆的自由代数、状态和对偶和Drastic Product logics，《国际近似推理杂志》，第104卷，第57-74页，2019年。
  26. S.Aguzzoli、M.Bianchi和D.Valota，“关于Drastic积的注释逻辑，“在信息处理和不确定性管理中，序列号。《计算机和信息科学通信》，第443卷。斯普林格，2014年，第365-374页。
  27. S.Aguzzoli、S.Bova和D.Valota，“自由弱幂零极小值代数，《软计算》，第21卷，第1期，第79-95页，2017年。