×
罗伯托·朱利安尼;赫克托·弗雷特斯;安东尼奥·莱达;弗朗西斯科·保利

量子计算中产生的带有算子的哥德尔代数的鉴别器种类。 （英语） Zbl 1185.03089号

模糊集系统。 160，第8期，1082-1098（2009）.
作者的动机是量子计算的数学基础，他们定义了（i）通过格运算对\（\sqrt｛'｝\）拟MV代数的展开，以及（ii）类哥德尔蕴涵。这些概念用于一类新的代数，称为哥德尔量子计算代数作者证明，每一个这样的代数都是由Heyting-Wajsberg代数产生的对代数。这类代数的簇是一个算术簇，也是一个鉴别器簇。
审核人：Anatolij Dvurečenskij（布拉迪斯拉发）

引用于2文件

MSC公司：

03G12号机组 量子逻辑
03B52号 模糊逻辑；模糊逻辑
81页68 量子计算

关键词：

量子计算;量子逻辑;哥德尔代数;模糊逻辑;鉴别器种类
PDF格式BibTeX公司 XML格式引用
\textit{R.Giuntini}等人，《模糊集系统》。160，第8号，1082--1098（2009；Zbl 1185.03089）
全文： 内政部

参考文献：

[1] 阿利亚诺，P。；Ursini，A.，《关于减法变体IV：主理想的可定义性》，《普遍代数》，38，355-389（1997）·Zbl 0934.08002号
[2] Baaz，M.，《具有0-1投影和相对化的无限值逻辑》（Hájek，P.，Gödel 1996:数学、计算机科学和物理的逻辑基础（1996），施普林格：施普林格-柏林），23-33·Zbl 0862.03015号
[3] Belluce，L.P.，MV代数上的广义模糊连接词，J.Math。分析。申请。，206, 1, 485-499 (1997) ·Zbl 0874.06010号
[4] Bignall，R.J。；Leech，J.，偏斜布尔代数和鉴别器变体，代数Universalis，33287-398（1995）·Zbl 0821.06013
[5] R.J.Bignall，M.Spinks，《关于二进制鉴别器变种I：关联BCS代数》，国际。代数计算杂志。，即将推出。；R.J.Bignall，M.Spinks，《关于二进制鉴别器变种I：关联BCS代数》，国际。代数计算杂志。，即将推出·Zbl 1135.06305号
[6] 布洛克，W.J。；科勒，P。；Pigozzi，D.，《关于具有等式可定义主同余的变种的结构》，《普遍代数》，第15期，195-227页（1982年）·Zbl 0512.08002号
[7] 布洛克，W.J。；Pigozzi，D.，关于具有等式可定义主同余的变种的结构III，《普遍代数》，32，545-608（1994）·兹伯利0817.08004
[8] Bou，F。；Paoli，F。；莱达，A。；Freytes，H.，关于拟MV代数和（sqrt{{}^素}）拟MV阿尔及利亚的一些性质。第二部分，软计算。，12, 4, 341-352 (2008) ·Zbl 1127.06007号
[9] Cattaneo，G。；Ciucci，D。；Giuntini，R。；Konig，M.，与多值逻辑系统相关的代数结构。第一部分：Heyting-Wajsberg代数，基金会。通知。，63, 331-355 (2004) ·Zbl 1090.03035号
[10] Cattaneo，G。；Ciucci，D。；Giuntini，R。；Konig，M.，与多值逻辑系统相关的代数结构。第二部分：一些普遍结构之间的对等，基金。通知。，63, 357-373 (2004) ·Zbl 1092.03035号
[11] Cattaneo，G。；Dalla Chiara，M.L。；Giuntini，R.，多值逻辑的一些代数结构，塔特拉山脉数学。出版物。，15, 173-196 (1998) ·Zbl 0939.03077号
[12] Cattaneo，G。；Dalla Chiara，M.L。；Giuntini，R。；Leporini，R.，量子计算中的一个不清晰逻辑，国际。J.理论。物理。，43, 7-8, 1803-1817 (2001) ·Zbl 1074.81012号
[13] Cattaneo，G。；Dalla Chiara，M.L。；Giuntini，R。；Leporini，R.，量子计算结构，数学。斯洛文尼亚，5487-108（2004年）·Zbl 1077.81016号
[14] 查达，I。；哈拉什，R。；罗森博格，I.G.，《普适代数中的理想与二进制鉴别器》，《普世代数》，42，239-251（1999）·Zbl 0979.08001号
[15] Cignoli，R。；D’Ottaviano，I.M.L。；Mundici，D.，《多值推理的代数基础》（1999），Kluwer学术出版社：Kluwer-学术出版社Dordrecht
[16] Dalla Chiara，M.L。；Giuntini，R。；Greechie，R.，《量子理论中的推理》（2004），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 1059.81003号
[17] Dalla Chiara，M.L。；Giuntini，R。；Leporini，R.，《量子计算的逻辑学》，国际。J.量子信息。，3, 2, 293-337 (2005) ·Zbl 1075.81015号
[18] Giuntini，R。；莱达，A。；Paoli，F.，用量子算符展开拟MV代数，Studia Logica，87，1，99-128（2007）·邮编1127.06008
[19] R.Giuntini，A.Ledda，F.Paoli，\（\sqrt｛｝^｛\prime；｝）的范畴等价；R.Giuntini，A.Ledda，F.Paoli，\（\sqrt{{}^{prime；}}\）的范畴等价·Zbl 1220.06003号
[20] 树胶，H.P。；Ursini，A.，泛代数中的理想，《泛代数》，第19期，第45-54页（1984年）·Zbl 0547.08001号
[21] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.03030号
[22] 科勒，P。；Pigozzi，D.，具有等式定义主同余的簇，《代数普遍》，11，213-219（1980）·Zbl 0448.08005号
[23] 莱达，A。；科尼格，M。；Paoli，F。；Giuntini，R.，MV代数与量子计算，Studia Logica，82，2，245-270（2006）·Zbl 1102.06010号
[24] 尼尔森，M。；Chuang，I.，《量子计算与量子信息》（2000），剑桥大学出版社：剑桥大学出版社·Zbl 1049.81015号
[25] Paoli，F。；莱达，A。；Giuntini，R。；Freytes，H.，关于拟MV代数和（sqrt{{}^素}）拟MV阿尔及利亚的一些性质。第一部分，代表数学。逻辑，44，53-85（2008）
[26] Pawlak，D.，《粗糙集：关于数据推理的理论方面》（Rough Sets:Theory Aspects of Reasoning about Data）（1991年），Kluwer Academic Publishers：Kluwer-Academical Publishers Dordrecht·Zbl 0758.68054号
[27] M.Spinks，《关于前BCK代数理论》，莫纳什大学博士论文，2003年。；M.Spinks，《前BCK代数理论》，莫纳什大学博士论文，2003年。
[28] M.Spinks，R.J.Bignall，R.Veroff，《关于通用定点鉴别器和通用定点鉴别器变体的断言逻辑》，提交出版。；M.Spinks，R.J.Bignall，R.Veroff，《关于通用定点鉴别器和通用定点鉴别器变体的断言逻辑》，提交出版·Zbl 1330.03096号
[29] Ursini，A.，关于减法变体I，《普遍代数》，31204-222（1994）·Zbl 0799.08010号
[30] Werner，H.，鉴别器代数（1978），Akademik：Akademick Berlin·Zbl 0374.08002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。