尤金尼奥·罗内斯·洛扎诺;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 逻辑探索者:用于探索有限多值命题逻辑的Maple包。 (英语) Zbl 1260.03002号 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 105,第2期,323-337(2011). 概要:像Maple这样的大型计算机代数系统不再局限于符号计算,而是正在成为工程师、数学家和科学家的通用工具。我们已经使用多值逻辑工作了很长一段时间,我们相信一个灵活且舒适的工具,可以在任何现有或建议的多值逻辑中使用逻辑真值的任何符号执行逻辑计算(例如,探索属性),这可能非常有用且节省时间。因此,我们实现了Maple的这样一个扩展,它超越了Maple逻辑包,也超越了几年前Derive和Macsyma发行版中这些作者以前的一些实现。逻辑连接词既可以用真值表定义,也可以用函数的方式定义。 引用于1文件 MSC公司: 03-04 数学逻辑和基础相关问题的软件、源代码等 03B50号 多值逻辑 68瓦30 符号计算和代数计算 关键词:有限多值逻辑;计算机代数系统;有效计算 软件:MUltlog公司;逻辑资源管理器;伊斯兰教;枫树 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,Rev.R.Acad。中国。精确到Fís。Nat.,Ser。A Mat.,RACSAM 105,No.2,323--337(2011;Zbl 1260.03002) 全文: 内政部 参考文献: [1] Robinson,A.,Voronkov,A.(编辑):自动推理手册。Elsevier,阿姆斯特丹(2006)·Zbl 0964.00020号 [2] Hähnle R.,Escalada-Imaz G.:多值逻辑中的演绎:一项调查。数学软件软计算。4, 69–97 (1997) ·Zbl 0887.03017号 [3] 项杰:用术语重写系统证明反驳定理。Artif公司。智力。25, 255–300 (1985) ·Zbl 0558.68072号 ·doi:10.1016/0004-3702(85)90074-8 [4] Kapur,D.,Narendran,P.:一阶谓词演算中定理证明的方程方法。84CRD296,《通用电气公司研发报告》,纽约斯克内克塔迪,1984年3月,1984年12月修订。另见:Joshi,A.K.(编辑)《IJCAI-85会议录》,第1146-1153页。Morgan Kaufmann,旧金山(1985) [5] Halmos P.R.:布尔代数讲座。施普林格,纽约(1974)·Zbl 0285.06010号 [6] 赫尔墨斯·H·:《国家图书馆》(La teoría de retículos y su aplicación a La lógica matem tica)。Conf.Mat.VI.CSIC-马德里,马德里(1963) [7] Mendelson E.:布尔代数和开关电路的理论和问题。Schaum’s/MacGraw-Hill,纽约(1970年) [8] Monk D.:布尔代数手册。荷兰北部,阿姆斯特丹(1989)·Zbl 0671.06001号 [9] Stone M.:布尔代数的表示理论。事务处理。AMS 40、37–111(1940)·Zbl 0014.34002号 [10] Roanes-Lozano E.、Laita L.M.、Hernando A.、Roanes-Macías E.:基于规则的专家系统的代数方法。RACSAM 104/1、19-40(2010年)·Zbl 1197.68078号 ·doi:10.5052/RASAM.201004文件 [11] Buchberger B.:Bruno Buchberger1965年的博士论文:寻找零维多项式理想剩余类环的基元的算法。J.塞姆。计算。41(3–4), 475–511 (2006) ·兹比尔1158.01307 ·doi:10.1016/j.jsc.2005.09.007 [12] 考克斯·D、小J、奥谢·D。:理想、多样性和算法。施普林格,纽约(1992年) [13] Roanes-Lozano E.,Roanes-Macías E.,Laita L.M.:代数系统的几何及其使用Groebner基的精确求解。计算。科学。工程6(2),76-79(2004)·Zbl 05091862号 ·doi:10.1109/MCISE.2004.1267612 [14] Roanes-Lozano E.,Roanes-Macías E.,Laita L.M.:Gröbner碱的一些应用。计算。科学。工程6(3),56–60(2004)·Zbl 1134.90441号 ·doi:10.1109/MCISE.2004.1289309 [15] 马林诺夫斯基:许多人重视逻辑及其哲学。收录于:Gabbay,D.M.,Woods,J.(编辑)《逻辑史手册》,第8卷,第13-94页。Elsevier,阿姆斯特丹(2007) [16] Rescher N.:多值逻辑。McGraw-Hill,纽约(1969年)·Zbl 0248.02023号 [17] Rosser J.B.,Turkette A.R.:多值逻辑。荷兰北部,阿姆斯特丹(1952年) [18] 特纳·R:《人工智能逻辑》。Ellis Horwood,奇切斯特(1984) [19] 适合M.:克莱恩的三值逻辑和他们的孩子。芬丹。通知。20, 113–131 (1994) ·Zbl 0804.03016号 [20] 新泽西州史密斯:多值逻辑。收录于:Fara,D.G.,Russell,G.(编辑)Routledge Companion to the Philosophy of Language(2011年出版)。网址:http://www-personal.usyd.edu.au/\(\sim\)njjsmith/papers [21] 阿隆索·J.A.,布里亚莱斯·E.:《利奥吉卡斯·波利瓦伦特斯与格里布纳基地》。载于:Vide,M.(编辑)《第五届自然语言和形式语言大会议事录》,第307-315页。巴塞罗那大学出版社,巴塞罗那(1989) [22] Chazarain J.,Riscos A.,Alonso J.A.,Briales E.:多值逻辑和Gröbner基及其在模态逻辑中的应用。J.塞姆。计算。11, 181–194 (1991) ·Zbl 0728.03021号 ·doi:10.1016/S0747-7171(08)80043-0 [23] Roanes Lozano E.,Laita L.M.,Roanes Macías E.:多值逻辑的多项式模型,带有代数几何和计算机代数的色彩。数学。计算。模拟。45(1), 83–99 (1998) ·Zbl 1017.03509号 ·doi:10.1016/S0378-4754(97)00088-8 [24] Roanes-Lozano E.,Laita L.M.,Roanes-Macías E.:A.I.中的Maple V:与KBS相关的布尔代数。CAN Nieuwsbrief 14,65–70(1995) [25] Roanes-Lozano E.、Hernando A.、Laita L.M.、Roanes-Macías E.:基于规则的专家系统中基于Groebner的反向推理方法。安。数学。Artif公司。智力。56(3-4),297–311(2009)。doi:10.1007/s10472-009-9147-4·Zbl 1184.68494号 ·doi:10.1007/s10472-009-9147-4 [26] Roanes-Lozano E.,Roanes-Macías E.,Laita L.M.:基于知识的系统中强不一致性的几何解释。收录:Ganzha,V.G.,Mayr,E.W.,Vorozhtsov,E.V.(编辑)《科学计算中的计算机代数》。《1999年中国社会科学院院刊》,第349-363页。柏林施普林格(1999)·Zbl 1073.68829号 [27] Hernando A.,Roanes-Lozano E.,Laita L.M.:真值为素数幂的逻辑多项式模型。J.汽车。原因。46, 205–221 (2011). doi:10.1007/s10817-010-9191-0·Zbl 1231.03023号 ·doi:10.1007/s10817-010-9191-0 [28] 安德森·A.R.、贝尔纳普·N.D.Jr.、邓恩·J.M.:《牵连》。相关性和必要性的逻辑(第二卷,第十二章,§81)。有用的四值逻辑:计算机应该如何思考),第506-541页。普林斯顿大学出版社,普林斯顿(1992) [29] Belnap N.D.:一种有用的四值逻辑。摘自:Dunn,J.M.,Epstein,G.(编辑)《多值逻辑的现代应用》,第8-37页。D.Reidel,Dordrecht(1977年) [30] 韦伯,S.:对贝尔纳普不一致和未知信息逻辑的调查。Leizpig大学博士论文(1998年)。http://deposit.ddb.de/cgi-bin/dokserv?idn=959118233&dok_var=d1&;dok_ext=pdf&;文件名=959118233.pdf [31] 罗德里格斯,O.,Russo,A.:贝尔纳普逻辑的翻译方法。帝国理工学院研究报告DoC98/7。http://www.doc.ic.ac.uk/research/technicalreports/1998/#7 [32] 科恩·D.H.:贝尔纳普条件断言的一种新公理化。圣母院《形式逻辑》27/1124–132(1986)·Zbl 0592.03015号 ·doi:10.1305/ndjfl/1093636531 [33] Carnielli,W.:用于逻辑推理的多项式环微积分。巴西坎皮纳斯州立大学。ftp://ftp.cle.unicamp.br/pub/e-prints/vol.5,编号32005.pdf [34] 卡尼埃利,W.:多项式化:多项式形式的逻辑推理和布尔的遗产。收录于:《计算智能研究》,第64卷,第349-364页。柏林施普林格出版社(2007) [35] Roanes-Lozano E.:借助CAS介绍命题多值逻辑。收录于:Gilbert,R.P.,Kajiwara,J.,Xu,Y.S.(编辑)《复杂分析和计算机代数的最新发展》,第277-290页。Kluwer,波士顿(1999)·Zbl 0946.03029号 [36] 维也纳多值逻辑小组。MUltlog 1.0:面向多值逻辑专家系统。收录:McRobbie,M.,Slaney,J.(编辑)CADE-13,226-230。LNAI 1104。施普林格,柏林(1996)。http://www.logic.at/multlog/mlsys.pdf [37] Corless R.M.:基础枫树7:科学程序员简介。斯普林格,纽约(2002)·Zbl 0987.68563号 [38] 见鬼A:枫叶简介。施普林格,纽约(1996)·Zbl 0861.65001号 [39] Roanes-Macías,E.,Roanes-Lozano,E.:Cálculos matemáticos por ordenador con Maple V.Ed.Rubiños-1860,马德里(1999) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。