×
邱道文

关于Trillas CHC模型的注释。 （英语） Zbl 1168.06302号

Artif公司。智力。 171，第4期，239-254（2007）.
摘要：最近，E.特里拉斯,S.Cubillo公司和E.卡斯蒂涅拉[“关于正交补格中的猜想”，Artif.Intell.117，No.2，255–275（2000；Zbl 0940.06008号)]提出了一个关于猜想、假设和结果的数学模型（缩写CHCs），用这个模型我们可以执行某些数学推理，并重新表述经典逻辑中的一些重要定理。我们证明了正交模条件对于保持Watanabe的假设结构定理是不必要的，实际上，在一些正交可补但非正交模格中，该定理仍然有效。我们用CHC算子来描述经典逻辑的演绎定理、矛盾定理和林登鲍姆定理，并阐明它们在CHC模型中的存在性；给出了一些例子。并且我们重新定义了剩余格中的CHC算子，特别揭示了直补格和剩余格中CHC算子之间的本质区别。

引用于21文件

MSC公司：

06第15页 补格、正交补格和偏序集
03B99号 一般逻辑
03G12号机组 量子逻辑

关键词：

正交补格;正交模格;剩余格;猜想;后果;量子逻辑

引文：

Zbl 0940.06008号
PDF格式BibTeX公司 XML格式引用
\textit{D.邱}，Artif。智力。171，第4号，239--254（2007；Zbl 1168.06302）
全文： 内政部

参考文献：

[1] Boicescu，V。；Filipoiu，A。；乔治斯库，G。；Rudeanu，S.，Lukasiewicz-Moisil代数，《离散数学年鉴》，第49卷（1991年），北荷兰：北荷兰阿姆斯特丹·Zbl 0726.06007号
[2] Cignoli，R。；D’Ottaviano，I.M.L。；Mundici，D.，《多值推理的代数基础》，第7卷（2000年），Kluwer:Kluwer-Dordrecht·Zbl 0937.06009
[3] 卡斯特罗，J.L。；特里拉斯，E。；Cubillo，S.，《关于近似推理中的结果》，J.Appl。非经典逻辑，491-103（1994）·Zbl 0794.03032号
[4] Dalla Chiara，M.L.，《量子逻辑的一些元病理学》（Beltrametti，E.；van Fraassen，B.，《量子逻辑学的当前问题》（1981），阻燃出版社：纽约阻燃出版社），147-159
[5] Dalla Chiara，M.L.，量子逻辑，（Gabbay，D.M.；Guenthner，F.，哲学逻辑手册，第3卷（1986年），D.Reidel：D.Reidel Dordrecht）。（Gabbay，G.；Guenthner，F.，《哲学逻辑手册》，第6卷（2001），Kluwer:Kluwer-Dordrecht），129-228，修订版·Zbl 0368.02033号
[6] Dilworth，R.P.，格上的抽象剩余，布尔。阿默尔。数学。《刑法典》第44卷，第262-268页（1938年）·Zbl 0018.34104号
[7] Dilworth，R.P.，《残余晶格》，Tran。阿默尔。数学。《社会学杂志》，45，335-354（1939）·Zbl 0021.10801号
[8] Dvurečenskij，A。；Pulmannová，S.，《量子代数的新趋势》（2000），Kluwer:Kluwer-Dordrecht·Zbl 0987.81005号
[9] 埃斯特娃，F。；Godo，L.，基于单调t-范数的逻辑：走向左连续t-范数的逻辑，模糊集和系统，124，3271-288（2001）·Zbl 0994.03017号
[10] 埃斯特娃，F。；戈多，L。；Garcia-Cerdaña，a.，关于基于t-范数的剩余模糊逻辑的层次结构，（Orlowska，E.；Fitting，M.，Beyond Two:Theory and Applications of Multiple Value Logic（2003），Physica-Verrag:Physica-Verlag-Heidelberg），251-272·Zbl 1038.03026号
[11] 芬奇，P.D.，作为蕴涵代数的量子逻辑，布尔。南方的。数学。Soc.，2101-106（1970年）·Zbl 0179.01201号
[12] Girard，J.-Y.，《线性逻辑》，理论。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号
[13] Hájek，P.，《模糊逻辑的数学》（1998），Kluwer:Kluwer-Dordrecht·Zbl 0937.03030号
[14] Hemple，C.G.，《自然科学哲学》（1996），新泽西州普伦蒂斯·霍尔：普伦蒂斯霍尔恩格尔伍德悬崖
[15] Höhle，U.，交换剩余幺半群，（Höhele，U.:Klement，E.P.，非经典逻辑及其在模糊子集中的应用（1995），Kluwer:Kluwer-Dordrecht），53-106·Zbl 0838.06012
[16] Iorgulescu，A.，Wajsberg和MV代数的一些直接优势，日本数学科学，57，3，583-647（2003）·Zbl 1050.06006号
[17] A.Iorgulescu，BCK代数类——第一部分，罗马尼亚学院数学研究所预印本系列，第1/2004号预印本，第1-33页；A.Iorgulescu，BCK代数类——第一部分，罗马尼亚学院数学研究所预印本系列，第1/2004号预印本，第1-33页
[18] Kalmbach，G.，《正交模格》，伦敦数学。Soc.专著，第18卷（1983年），学术出版社：伦敦学术出版社·Zbl 0512.06011号
[19] T.Kowalski，H.Ono，《剩余格：无收缩逻辑的代数一瞥》，专著，2001年；T.Kowalski，H.Ono，剩余格：无收缩逻辑的代数一瞥，专著，2001
[20] Krull，W.，《理想理论的公理化》，Sitzungsberichte der physicalisch medizinische Societyät den Erlangen，56，47-63（1924）
[21] Mittelstaedt，P.，量子逻辑（1978），D.Reidel出版公司：D.Reide出版公司Dordrecht·Zbl 0445.03038号
[22] H.Ono，《没有收缩规则的逻辑和剩余格I》，载于：E.Mares（Ed.），《在R.K.Meyer 65岁生日之际的Festschrift》，提交出版；H.Ono，《无收缩规则的逻辑和剩余格I》，载于：E.Mares（Ed.），R.K.Meyer 65岁生日之际的Festschrift，提交出版
[23] Pavelka，J.，《模糊逻辑I，II，III，Z.数学》。Logik Grundlag公司。数学。，25, 45-52 (1979), 119-134; 447-464 ·Zbl 0435.03020号
[24] Popper，K.R.，《猜测与反驳》（1963年），劳特利奇和凯根·保罗：劳特利吉和凯根-保罗伦敦·Zbl 0144.24503号
[25] Pólya，G.，《数学与合理推理》，第卷。I&II（1954），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0056.24102号
[26] 普塔克，P。；Pulmannová，S.，作为量子逻辑的正交模结构（1991），Kluwer:Kluwer-Dordrecht·Zbl 0743.03039号
[27] Pineda，A.F。；特里拉斯，E。；Vaucheret，C.，《关于猜想、假设和结果的一些补充评论》（Campbell，J.A.；Roanes-Lozano，E.，《人工智能和符号计算》，人工智能讲义，第1930卷（2001年），施普林格：施普林格-柏林），107-114·Zbl 1042.06006号
[28] Rescher，N.，多值逻辑（1969），McGraw-Hill:McGraw-Hill纽约·Zbl 0248.02023号
[29] 罗曼，L。；Zuazau，R.E.，《量子含义》，国际。J.理论。物理。，38, 793-797 (1999) ·Zbl 0953.81006号
[30] 特里拉斯，E。；库比略，S。；Castiñeira，E.，关于正交补格中的猜想，人工智能，117255-275（2000）·Zbl 0940.06008号
[31] Watanabe，S.，《知道与猜测》（1969），威利出版社：威利纽约·Zbl 0206.20901号
[32] Ying，M。；Wang，H.，《猜想、假设和结果的格理论模型》，人工智能，139253-267（2002）·Zbl 1506.68161号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。