×

分配效应代数的有限生成变种。 (英语) Zbl 1296.03037号

效应代数是部分定义的代数,\(E=(E;+,',0,1)\),用于模拟量子力学测量的事件,作为原型示例,它们是po-group正锥中的区间。它们的基本运算,加法\(+\),是交换的、结合的,对于每个元素\(x\),都有一个唯一的元素\(x'\),使得\(x+x'=1\),最后,如果定义了\(x+1\),那么\(x=0\)。
在本文中,作者研究了分配效应代数的多样性;用一种自然的方式,将效应代数研究为全代数是可能的。本文研究了(i)有限生成子簇,特别是模效应基本代数的簇,以及(ii)有限生成子簇中的自由代数。

MSC公司:

03G12号机组 量子逻辑
06B20号 格子的种类
05年6月 MV代数
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 伯曼,J.:自由代数的结构。收录于:Kudryavtsev,V.B.,Rosenberg,I.G.(编辑)《自动机、半群和泛代数的结构理论》。《北约科学丛书II》,第207卷,第47-76页。施普林格,多德雷赫特(2005)·邮编1093.08002
[2] Burris,S.,Sankappanavar,H.P.:《通用代数课程:千年版》。http://www.math.uwaterloo.ca网站/snburris/htdocs/UALG/univ-algebra.pdf·Zbl 0478.08001号
[3] Chajda I.,HalašR.:四元成员生成的格效应代数的变种。科学学报。数学。(塞格德)74、49-64(2008)·Zbl 1174.06305号
[4] Chajda I.,HalašR.,Kühr J.:多值量子代数。《代数普遍》60,63-90(2009)·Zbl 1219.06013号 ·doi:10.1007/s00012-008-2086-9
[5] Chajda I.,HalašR.,Kühr J.:每个效应代数都可以成为一个整体代数。《普遍代数》61、139-150(2009)·Zbl 1192.03048号 ·doi:10.1007/s00012-009-0010-6
[6] Cignoli,R.L.O.,D’Ottaviano,I.M.L.,Mundici,D.:多值推理的代数基础。《逻辑趋势》,第7卷。多德雷赫特·克鲁沃(2000)·Zbl 0937.06009
[7] Dvurečenskij,A.,Pulmannová,S.:量子结构的新趋势。Kluwer,Dordrecht/Ister Science,布拉迪斯拉发(2000)·兹比尔1219.06013
[8] Foulis D.,Bennett M.K.:效应代数和非锐化量子逻辑。已找到。物理学。24, 1331-1352 (1994) ·Zbl 1213.06004号 ·doi:10.1007/BF02283036
[9] Gispert J.,Mundici D.:MV-代数:阿基米德单位震级的变种。《代数普遍》53,7-43(2005)·Zbl 1093.06010号 ·doi:10.1007/s00012-005-1905-5
[10] Greechie R.J.,Foulis D.,PulmannováS.:效应代数的中心。命令12,91-106(1995)·Zbl 0846.03031号 ·doi:10.1007/BF01108592
[11] Kópka,F.:模糊集的D-偏序集。塔特拉山数学。出版物。1, 83-87 (1992) ·Zbl 0797.04011号
[12] Kópka,F.,Chovanec,F.:D-偏序集。数学。斯洛伐克44,21-34(1994)·Zbl 0789.03048号
[13] PulmannováS.,VincekováE.:作为基本代数的格效应代数中的同余和理想。Kybernetika 45,1030-1039(2009年)·兹比尔1252.03144
[14] RiečanováZ.:广义效应代数的子代数、区间和中心元。国际。J.理论。物理学。38, 3209-3220 (1999) ·Zbl 0963.03087号 ·doi:10.1023/A:1026682215765
[15] RiečanováZ.:D-格和格序效应代数的块的推广。国际。J.理论。物理学。39, 231-237 (2000) ·Zbl 0968.81003号 ·doi:10.1023/A:1003619806024
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。