The geometry of discrete L-algebras

References

[1] P. Aglianò, I. M. A. Ferreirim, F. Montagna, Basic hoops: an algebraic study of continuous t-norms. Studia Logica87 (2007), 73–98. MR2349789 Zbl 1127.0304910.1007/s11225-007-9078-1Search in Google Scholar

[2] E. Artin, Theory of braids. Ann. of Math (2) 48 (1947), 101–126. MR19087 Zbl 0030.1770310.2307/1969218Search in Google Scholar

[3] R. W. Ball, Dualities of finite projective planes. Duke Math. J15 (1948), 929–940. MR28588 Zbl 0031.2580210.1215/S0012-7094-48-01581-6Search in Google Scholar

[4] G. Birkhoff, Lattice Theory Amer. Math. Soc. 1940. MR1959 Zbl 0063.0040210.1090/coll/025Search in Google Scholar

[5] W. J. Blok, I. M. A. Ferreirim, Hoops and their implicational reducts (abstract). In: Algebraic methods in logic and in computer scienceWarsaw, 1991), volume 28 of Banach Center Publ 219–230, Polish Acad. Sci. Inst. Math., Warsaw 1993. MR1446285 Zbl 0848.0601310.4064/-28-1-219-230Search in Google Scholar

[6] E. Brieskorn, K. Saito, Artin-Gruppen und Coxeter-Gruppen. Invent. Math17 (1972), 245–271. MR323910 Zbl 0243.2003710.1007/BF01406235Search in Google Scholar

[7] F. Buekenhout, E. Shult, On the foundations of polar geometry. Geometriae Dedicata3 (1974), 155–170. MR350599 Zbl 0286.5000410.1007/BF00183207Search in Google Scholar

[8] P. Busch, M. Grabowski, P. J. Lahti, Operational quantum physics volume 31 of Lecture Notes in Physics. New Series m: Monographs Springer 1995. MR1356220 Zbl 0863.6010610.1007/978-3-540-49239-9Search in Google Scholar

[9] P. Busch, P. J. Lahti, P. Mittelstaedt, The quantum theory of measurement volume 2 of Lecture Notes in Physics. New Series m: Monographs Springer 1991. MR1176754 Zbl 0868.4605110.1007/978-3-662-13844-1Search in Google Scholar

[10] C. C. Chang, Algebraic analysis of many valued logics. Trans. Amer. Math. Soc88 (1958), 467–490. MR94302 Zbl 0084.0070410.1090/S0002-9947-1958-0094302-9Search in Google Scholar

[11] C. C. Chang, A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc93 (1959), 74–80. MR122718 Zbl 0093.0110410.1090/S0002-9947-1959-0122718-1Search in Google Scholar

[12] R. Cignoli, A. Torrens, Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. Arch. Math. Logic42 (2003), 361–370. MR2018087 Zbl 1025.0301810.1007/s001530200144Search in Google Scholar

[13] A. H. Clifford, A class of d-simple semigroups. Amer. J. Math75 (1953), 547–556. MR56597 Zbl 0051.0130210.2307/2372503Search in Google Scholar

[14] P. Dehornoy, Gaussian groups are torsion free. J. Algebra210 (1998), 291–297. MR1656425 Zbl 0959.2003510.1006/jabr.1998.7540Search in Google Scholar

[15] P. Dehornoy, Groupes de Garside. Ann. Sci. École Norm. Sup (4) 35 (2002), 267–306. MR1914933 Zbl 1017.2003110.1016/S0012-9593(02)01090-XSearch in Google Scholar

[16] P. Dehornoy, The group of fractions of a torsion free lcm monoid is torsion free. J. Algebra281 (2004), 303–305. MR2091973 Zbl 1064.2005410.1016/j.jalgebra.2004.03.031Search in Google Scholar

[17] P. Dehornoy, F. Digne, E. Godelle, D. Krammer, J. Michel, Foundations of Garside theory volume 22 of EMS Tracts in Mathematics European Mathematical Society, Zürich 2015. MR3362691 Zbl 1370.2000110.4171/139Search in Google Scholar

[18] P. Dehornoy, L. Paris, Gaussian groups and Garside groups, two generalisations of Artin groups. Proc. London Math. Soc (3) 79 (1999), 569–604. MR1710165 1030.2002110.1112/S0024611599012071Search in Google Scholar

[19] P. Deligne, Les immeubles des groupes de tresses généralisés. Invent. Math17 (1972), 273–302. MR422673 Zbl 0238.2003410.1007/BF01406236Search in Google Scholar

[20] C. Dietzel, W. Rump, The structure group of a non-degenerate effect algebra. Algebra Universalis81 (2020), Paper No. 27, 30 pages. MR4092464 Zbl 1481.0306810.1007/s00012-020-00657-7Search in Google Scholar

[21] C. Dietzel, W. Rump, The paraunitary group of a von Neumann algebra. Bull. Lond. Math. Soc54 (2022), 1220–1231. MR446831610.1112/blms.12621Search in Google Scholar

[22] C. Dietzel, W. Rump, X. Zhang, One-sided orthogonality, orthomodular spaces, quantum sets, and a class of Garside groups. J. Algebra526 (2019), 51–80. MR3914912 Zbl 1416.5100410.1016/j.jalgebra.2019.02.012Search in Google Scholar

[23] R. P. Dilworth, P. Crawley, Decomposition theory for lattices without chain conditions. Trans. Amer. Math. Soc96 (1960), 1–22. MR118690 Zbl 0091.0300410.1090/S0002-9947-1960-0118690-9Search in Google Scholar

[24] A. Dvurečenskij, T. Vetterlein, Pseudoeffect algebras. I. Basic properties. Internat. J. Theoret. Phys40 (2001), 685–701. MR1831592 Zbl 0994.8100810.1023/A:1004192715509Search in Google Scholar

[25] A. Dvurečenskij, T. Vetterlein, Pseudoeffect algebras. II. Group representations. Internat. J. Theoret. Phys40 (2001), 703–726. MR1831593 Zbl 0994.8100910.1023/A:1004144832348Search in Google Scholar

[26] A. Dvurečenskij, T. Vetterlein, Algebras in the positive cone of po-groups. Order19 (2002), 127–146. MR1922915 Zbl 1012.0306410.1023/A:1016551707476Search in Google Scholar

[27] A. Dvurečenskij, T. Vetterlein, Non-commutative algebras and quantum structures. Internat. J. Theoret. Phys43 (2004), 1599–1612. MR2108297 Zbl 1075.8101010.1023/B:IJTP.0000048806.69906.11Search in Google Scholar

[28] P. Etingof, T. Schedler, A. Soloviev, Set-theoretical solutions to the quantum Yang-Baxter equation. Duke Math. J100 (1999), 169–209. MR1722951 Zbl 0969.8103010.1215/S0012-7094-99-10007-XSearch in Google Scholar

[29] E. Fadell, L. Neuwirth, Configuration spaces. Math. Scand10 (1962), 111–118. MR141126 Zbl 0136.4410410.7146/math.scand.a-10517Search in Google Scholar

[30] C.-A. Faure, A. Frölicher, Morphisms of projective geometries and semilinear maps. Geom. Dedicata53 (1994), 237–262. MR1311317 Zbl 0826.5100210.1007/BF01263998Search in Google Scholar

[31] C.-A. Faure, A. Frölicher, Dualities for infinite-dimensional projective geometries. Geom. Dedicata56 (1995), 225–236. MR1340783 Zbl 0836.5100210.1007/BF01263563Search in Google Scholar

[32] D. J. Foulis, M. K. Bennett, Effect algebras and unsharp quantum logics. Found. Phys24 (1994), 1331–1352. MR1304942 Zbl 1213.0600410.1007/BF02283036Search in Google Scholar

[33] R. Fox, L. Neuwirth, The braid groups. Math. Scand10 (1962), 119–126. MR150755 Zbl 0117.4110110.7146/math.scand.a-10518Search in Google Scholar

[34] O. Frink, Jr., Complemented modular lattices and projective spaces of infinite dimension. Trans. Amer. Math. Soc60 (1946), 452–467. MR18635 Zbl 0060.0581110.1090/S0002-9947-1946-0018635-9Search in Google Scholar

[35] N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated lattices: an algebraic glimpse at substructural logics volume 151 of Studies in Logic and the Foundations of Mathematics Elsevier, Amsterdam 2007. MR2531579 Zbl 1171.03001Search in Google Scholar

[36] F. A. Garside, The braid group and other groups. Quart. J. Math. Oxford Ser (2) 20 (1969), 235–254. MR248801 Zbl 0194.0330310.1093/qmath/20.1.235Search in Google Scholar

[37] T. Gateva-Ivanova, M. Van den Bergh, Semigroups of I-type. J. Algebra206 (1998), 97–112. MR1637256 Zbl 0944.2004910.1006/jabr.1997.7399Search in Google Scholar

[38] J. Gispert, D. Mundici, MV-algebras: a variety for magnitudes with Archimedean units. Algebra Universalis53 (2005), 7–43. MR2135069 Zbl 1093.0601010.1007/s00012-005-1905-5Search in Google Scholar

[39] G. Grätzer, General lattice theory Birkhäuser Verlag, Basel 1998. MR1670580 Zbl 0909.06002Search in Google Scholar

[40] G. Grätzer, J. B. Nation, A new look at the Jordan-Hölder theorem for semimodular lattices. Algebra Universalis64 (2010), 309–311. MR2781081 Zbl 1216.0600610.1007/s00012-011-0104-9Search in Google Scholar

[41] S. Gudder, Sharp and unsharp quantum effects. Adv. in Appl. Math20 (1998), 169–187. MR1601375 Zbl 0913.4606210.1006/aama.1997.0575Search in Google Scholar

[42] P. Hájek, Metamathematics of fuzzy logic volume 4 of Trends in Logic—Studia Logica Library Kluwer 1998. MR1900263 Zbl 0937.0303010.1007/978-94-011-5300-3Search in Google Scholar

[43] S. S. Holland, Jr., Orthomodularity in infinite dimensions; a theorem of M. Solèr. Bull. Amer. Math. SocN.S) 32 (1995), 205–234. MR1307904 Zbl 0856.1102110.1090/S0273-0979-1995-00593-8Search in Google Scholar

[44] M. F. Janowitz, A note on generalized orthomodular lattices. J. Nat. Sci. and Math8 (1968), 89–94. MR231762 Zbl 0169.02104Search in Google Scholar

[45] G. Jenča, Z. Riečanovà, On sharp elements in lattice ordered effect algebras. BUSEFAL Magazine80 (1999), 24–49Search in Google Scholar

[46] E. Jespers, J. Okniński, Monoids and groups of I-type. Algebr. Represent. Theory8 (2005), 709–729. MR2189580 Zbl 1091.2002410.1007/s10468-005-0342-7Search in Google Scholar

[47] G. Kalmbach, Orthomodular lattices volume 18 of London Mathematical Society Monographs Academic Press 1983. MR716496 Zbl 0512.06011Search in Google Scholar

[48] A. Kornell, Quantum collections. Internat. J. Math28 (2017), Article ID 1750085, 28 pages. MR3729731 Zbl 1391.4607810.1142/S0129167X17500859Search in Google Scholar

[49] D. Krause, On a quasi-set theory. Notre Dame J. Formal Logic33 (1992), 402–411. MR1184070 Zbl 0774.0303210.1305/ndjfl/1093634404Search in Google Scholar

[50] S. Mac Lane, A lattice formulation for transcendence degrees and p-bases. Duke Math. J4 (1938), 455–468. MR1546067 Zbl 0019.3920110.1215/S0012-7094-38-00438-7Search in Google Scholar

[51] K. Menger, New foundations of projective and affine geometry. Ann. of Math (2) 37 (1936), 456–482. MR1503293 Zbl 0014.0760110.2307/1968458Search in Google Scholar

[52] D. Mundici, Interpretation of AF C^∗-algebras in Lukasiewicz sentential calculus. J. Funct. Anal65 (1986), 15–63. MR819173 Zbl 0597.4605910.1016/0022-1236(86)90015-7Search in Google Scholar

[53] M. Ozawa, Transfer principle in quantum set theory. J. Symbolic Logic72 (2007), 625–648. MR2320294 Zbl 1124.0304510.2178/jsl/1185803627Search in Google Scholar

[54] M. Ozawa, Orthomodular-valued models for quantum set theory. Rev. Symb. Log10 (2017), 782–807. MR3746469 Zbl 1421.0302610.1017/S1755020317000120Search in Google Scholar

[55] D. Rolfsen, J. Zhu, Braids, orderings and zero divisors. J. Knot Theory Ramifications7 (1998), 837–841. MR1643939 Zbl 0928.2003110.1142/S0218216598000425Search in Google Scholar

[56] W. Rump, A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation. Adv. Math193 (2005), 40–55. MR2132760 Zbl 1074.8103610.1016/j.aim.2004.03.019Search in Google Scholar

[57] W. Rump, L-algebras, self-similarity, and l-groups. J. Algebra320 (2008), 2328–2348. MR2437503 Zbl 1158.0600910.1016/j.jalgebra.2008.05.033Search in Google Scholar

[58] W. Rump, Right l-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation. J. Algebra439 (2015), 470–510. MR3373381 Zbl 1360.2003010.1016/j.jalgebra.2015.04.045Search in Google Scholar

[59] W. Rump, Von Neumann algebras, L-algebras, Baer ^∗-monoids, and Garside groups. Forum Math30 (2018), 973–995. MR3824801 Zbl 1443.0600510.1515/forum-2017-0108Search in Google Scholar

[60] W. Rump, L-algebras and three main non-classical logics. Ann. Pure Appl. Logic173 (2022), Paper No. 103121, 25 pages. MR4405373 Zbl 1504.0304010.1016/j.apal.2022.103121Search in Google Scholar

[61] W. Rump, Self-similar monoids related to Hahn groups. Semigroup Forum104 (2022), 448–463. MR4412802 Zbl 0753395510.1007/s00233-022-10267-5Search in Google Scholar

[62] W. Rump, Symmetric quantum sets and L-algebras. Int. Math. Res. Not2022 no. 3, 1770–1810. MR4373225 Zbl 1485.8103910.1093/imrn/rnaa135Search in Google Scholar

[63] K.-G. Schlesinger, Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics. J. Math. Phys40 (1999), 1344–1358. MR1674649 Zbl 0960.8100210.1063/1.532806Search in Google Scholar

[64] M. Stern, Semimodular lattices volume 73 of Encyclopedia of Mathematics and its Applications Cambridge Univ. Press 1999. MR1695504 Zbl 0957.0600810.1017/CBO9780511665578Search in Google Scholar

[65] G. Takeuti, Two applications of logic to mathematics Princeton Univ. Press 1978. MR505474 Zbl 0393.03027Search in Google Scholar

[66] G. Takeuti, Quantum set theory. In: Current issues in quantum logicErice, 1979), volume 8 of Ettore Majorana Internat. Sci. Ser.: Phys. Sci 303–322, Plenum, New York–London 1981. MR723164 Zbl 0537.0304410.1007/978-1-4613-3228-2_19Search in Google Scholar

[67] J. Tate, M. van den Bergh, Homological properties of Sklyanin algebras. Invent. Math124 (1996), 619–647. MR1369430 Zbl 0876.1701010.1007/s002220050065Search in Google Scholar

[68] S. Titani, H. Kozawa, Quantum set theory. Internat. J. Theoret. Phys42 (2003), 2575–2602. MR2021558 Zbl 1044.8101010.1023/B:IJTP.0000005977.55748.e4Search in Google Scholar

[69] O. Veblen, J. W. Young, Projective geometry. Vol 1 2. Blaisdell Publishing Co., New York–Toronto–London 1965. MR179666 MR179667 Zbl 0127.37604Search in Google Scholar

[70] T. Vetterlein, Transitivity and homogeneity of orthosets and inner-product spaces over subfields of ℝ. Geom. Dedicata216 (2022), Paper No. 36, 24 pages. MR4426325 Zbl 1496.8102410.1007/s10711-022-00696-5Search in Google Scholar PubMed PubMed Central

[71] M. Ward, R. P. Dilworth, Residuated lattices. Trans. Amer. Math. Soc45 (1939), 335–354. MR1501995 Zbl 0021.1080110.1090/S0002-9947-1939-1501995-3Search in Google Scholar