×
卡布雷拉，I.P。;科尔德罗，P。;G.古铁雷斯。;马丁内斯，J。;Ojeda-Aciego，M。

金融融合的多相似性和多晶格。 （英语） Zbl 1312.06001号

申请。数学。计算。 219，第1期，31-44（2012）.
小结：在本文中，我们继续对多晶格结构进行合并。具体来说，我们介绍了有限多（半）格概念的一个联合刻画，这是半格概念的推广，半格在计算机科学的几个领域中自然出现，并提供了处理非确定性的可能性。

引用于4文件

MSC公司：

2012年1月6日 半格
06B75号 格的推广
08A70型 泛代数在计算机科学中的应用

关键词：

格子;余代数;非决定论;多点阵;多相似性

软件：

CoCLAM公司
PDF格式BibTeX公司 XML格式引用
\textit{I.P.Cabrera}等人，应用。数学。计算。219，编号1，31-44（2012年；兹bl 1312.06001）
全文： 内政部

参考文献：

[1] Arbab，F。；拜尔，C。；de Boer，F.S。；Rutten，J.J.M.M.，《定时元件连接器的模型和时序逻辑》（SEFM（2004），IEEE计算机学会），198-207
[2] Benado，M.，Les合奏了partiellement ordonés et le theéme de raffinement de Schreier。一、 乔什洛瓦克。材料。，4, 79, 105-129 (1954) ·Zbl 0056.04602号
[3] 卡布雷拉，I.P。；科尔德罗，P。；古铁雷斯，G。；马丁内斯，J。；Ojeda-Aciego，M.，《非决定论的联合方法：应用于多晶格》，Inform。科学。，180, 4323-4335 (2010) ·Zbl 1222.06004号
[4] Chellas，B.F.，《模态逻辑：导论》（1980），剑桥大学出版社·Zbl 0431.03009号
[5] 科克，B。；Pavlovic，D.，《无和的量子测量》（The Mathematics of Quantum Computation and Technology（2008），Taylor and Francis），559-596，（第16章）·Zbl 1139.81307号
[6] 科尔德罗，P。；古铁雷斯，G。；马丁内斯，J。；de Guzmán，I.P.，《自动定理证明器的新代数工具》，《数学年鉴》。Artif公司。智力。，42, 4, 369-398 (2004) ·Zbl 1095.68110号
[7] 科尔西尼，P。；Leoreanu，V.，超结构理论的应用（2003），Kluwer·Zbl 1027.20051号
[8] 达马西奥，哥伦比亚特区。；麦地那，J。；Ojeda-Aciego，M.，《分类多伴随逻辑程序：终止结果和应用》，Lect。注释计算。科学。，3229, 252-265 (2004) ·Zbl 1111.68379号
[9] 洛杉矶丹尼斯。；A.邦迪。；Green，I.，《有效利用失败，从不同的证明尝试中产生共同诱导的证人》，Ann.Math。Artif公司。智力。，29, 1-4, 99-138 (2000) ·Zbl 1001.68128号
[10] 埃尔多？s，P.L。；Sziklai，P。；Torney，D.C.，有限单词偏序集，Electron。J.Combina.，8，2，10（2001），（电子版）·兹比尔0994.06002
[11] Goguen，J.，L-fuzzy集，J.数学。分析。申请。，18, 145-174 (1967) ·Zbl 0145.24404号
[12] Grätzer，G.，《一般格理论》（1998），Birkhäuser·Zbl 0385.06015号
[13] Hansen，D.J.，《多重格的公理化表征》，离散数学。，33, 1, 99-101 (1981) ·Zbl 0447.06005号
[14] Jacobs，B.，《对象与类，协同代数》（Objects and classes，co-algebraically）（《面向对象的并行性与持久性》（Object Orientation with Parallelism and Persistence）（1996），Kluwer Academic Publishers），第83-103页
[15] 雅各布斯，B.，通过伽罗瓦代数的余代数的时间逻辑，数学。结构。计算。科学。，12, 6, 875-903 (2002) ·Zbl 1030.03017号
[16] 雅各布斯，B。；Rutten，J.J.M.M.，（co）代数和（co）归纳教程，布尔。欧元。助理理论家。计算。科学。，62, 222-259 (1997) ·Zbl 0880.68070号
[17] 加藤，R。；Watanabe，O.，使用因子预言的子串搜索和重复搜索，Inform。过程。莱特。，93, 6, 269-274 (2005) ·Zbl 1173.68466号
[18] Kurz，A.，用模态逻辑指定余代数，Theoret。计算。科学。，260, 1-2, 119-138 (2001) ·Zbl 0974.68034号
[19] 马丁内斯，J。；古铁雷斯，G。；德古兹曼，I.P。；Cordero，P.，通过非确定性算子推广格，离散数学。，295、1-3、107-141（2005年）·Zbl 1085.06005号
[20] 麦地那，J。；Ojeda Aciego，M。；Ruiz-Calviño，J.，通过多个格的模糊逻辑编程，模糊集系统。，158, 6, 674-688 (2007) ·Zbl 1111.68016号
[21] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，具有连续语义的多伴随逻辑编程，Lect。注释Artif。智力。，2173, 351-364 (2001) ·Zbl 1007.68023号
[22] 麦地那，J。；Ojeda Aciego，M。；Vojtáš，P.，基于相似性的统一：多伴随方法，模糊集系统。，146，1，43-62（2004年）·Zbl 1073.68026号
[23] 米登多夫，M。；Manlove，D.F.，《组合超子串和超序列问题》，《理论》。计算。科学。，320, 2-3, 247-267 (2004) ·Zbl 1068.68114号
[24] Moss，L.S.，Coalgebraic逻辑，Ann.Pure Appl。逻辑，96，1-3，277-317（1999）·Zbl 0969.03026号
[25] Palmigiano，A.，关于正模态逻辑的一种哥白氏观点，定理。计算。科学。，327, 1-2, 175-195 (2004) ·Zbl 1068.03017号
[26] Porter，T.，从范畴的角度解释多智能体系统的系统和Kripke模型，Theoret。计算。科学。，323, 1-3, 235-266 (2004) ·Zbl 1078.68146号
[27] Reichel，H.，基于终端余代数的对象语义方法，数学。结构。计算。科学。，5, 2, 129-152 (1995) ·Zbl 0854.18006号
[28] 圆形，W.C。；张国庆，代数域中的子句逻辑和逻辑编程，Inform。计算。，171, 2, 183-200 (2001) ·Zbl 1005.68094号
[29] Rudeanu，S。；Vaida，D.，《信息学中的多重格：介绍性示例》，《逻辑修订》，第143页（2009年）
[30] Rutten，J.J.M.M.，《宇宙余代数：系统理论》，《理论》。计算。科学。，249, 1, 3-80 (2000) ·Zbl 0951.68038号
[31] L.Schröder，D.Pattinson，《描述逻辑与模糊概率》，载于《国际人工智能联合会议论文集》，2011年，第1075-1080页。；L.Schröder，D.Pattinson，《描述逻辑与模糊概率》，载于《国际人工智能联合会议论文集》，2011年，第1075-1080页。
[32] Solovyov，S.A.，关于范畴集（JCPos），模糊集系统。，157, 3, 319-470 (2006) ·Zbl 1081.18007号
[33] 田，J。；李，B.-L.，遗传遗传的同胚结构，数学。Biosci公司。工程，1,2,243-266（2004）·兹比尔1061.17027
[34] Vaida，D.，关于与过程语义相关的一些顺序属性的注释I，Fundamenta Informaticae，73，1-2，307-319（2006）·Zbl 1102.68078号
[35] 沃伊塔什，P.，模糊逻辑编程，模糊集系统。，124, 3, 361-370 (2001) ·Zbl 1015.68036号
[36] 韦格纳，P。；Goldin，D.，有限计算代理的共导模型，电子。注释Theor。计算。科学。，19、21（1999），（电子版）·兹比尔0918.68023
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。