Abstract
We introduce \(\ell r\)-multisemigroups as duals of modal quantales and study modal correspondences between equations in these multisemigroups and the domain and codomain axioms of modal quantales. Our results yield new insights on the origin of locality in modal semirings and quantales. They also yield construction principles for modal powerset quantales that cover a wide range of models and applications.
U. Fahrenberg—Supported by the Chaire ISC : Engineering Complex Systems – École polytechnique – Thales – FX – DGA – Dassault Aviation – Naval Group – ENSTA ParisTech – Télécom ParisTech.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Brown, R.: Topology and Groupoids (2006). www.groupoids.org
Calk, C., Goubault, E., Malbos, P., Struth, G.: Algebraic coherent confluence and globular Kleene algebras. CoRR abs/2006.16129 (2020)
Cranch, J., Doherty, S., Struth, G.: Convolution and concurrency. CoRR abs/2002.02321 (2020)
Cranch, J., Doherty, S., Struth, G.: Relational semigroups and object-free categories. CoRR abs/2001.11895 (2020)
Desharnais, J., Jipsen, P., Struth, G.: Domain and antidomain semigroups. In: Berghammer, R., Jaoua, A.M., Möller, B. (eds.) RelMiCS 2009. LNCS, vol. 5827, pp. 73–87. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04639-1_6
Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. ACM TOCL 7(4), 798–833 (2006)
Desharnais, J., Struth, G.: Internal axioms for domain semirings. Sci. Comput. Program. 76(3), 181–203 (2011)
Dongol, B., Hayes, I.J., Struth, G.: Convolution algebras: relational convolution, generalised modalities and incidence algebras. Log. Meth. Comput. Sci. 17(1), 13:1–13:34 (2021)
Elgot, C.C.: Matricial theories. J. Algebra 42(2), 391–421 (1976)
Fahrenberg, U., Johansen, C., Struth, G., Bahadur Thapa, R.: Generating posets beyond N. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) RAMiCS 2020. LNCS, vol. 12062, pp. 82–99. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43520-2_6
Fahrenberg, U., Johansen, C., Struth, G., Ziemiański, K.: Domain semirings united. CoRR abs/2011.04704 (2020)
Fahrenberg, U., Johansen, C., Struth, G., Ziemiański, K.: lr-Multisemigroups and modal convolution algebras. CoRR abs/2105.00188 (2021)
Goldblatt, R.: Varieties of complex algebras. Ann. Pure Appl. Log. 44, 173–242 (1989)
Grabowski, J.: On partial languages. Fund. Inform. 4(2), 427 (1981)
Grandis, M.: Directed Algebraic Topology: Models of Non-reversible Worlds. New Mathematical Monographs. Cambridge University Press (2009)
Guiraud, Y., Malbos, P.: Polygraphs of finite derivation type. Math. Struct. Comput. Sci. 28(2), 155–201 (2016)
Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38(4), 935–962 (1991)
Hoare, T., Möller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebraic Program. 80(6), 266–296 (2011)
Jónsson, B., Tarski, A.: Boolean algebras with operators. Part I. Am. J. Math. 73(4), 891–939 (1951)
Jónsson, B., Tarski, A.: Boolean algebras with operators. Part II. Am. J. Math. 74(1), 127–162 (1952)
Kahl, W.: Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. J. Log. Algeb. Meth. Program. 76(1), 60–89 (2008)
Kudryavtseva, G., Mazorchuk, V.: On multisemigroups. Portugaliae. Mathematica 71(1), 47–80 (2015)
Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1998)
Moszkowski, B.C.: A complete axiom system for propositional interval temporal logic with infinite time. Log. Meth. Comput. Sci. 8(3), 1–56 (2012)
Rosenthal, K.L.: Quantales and Their Applications. Longman (1990)
Rosenthal, K.L.: Relational monoids, multirelations, and quantalic recognizers. Cahiers Topologie Géom. Différentielle Catég. 38(2), 161–171 (1997)
Rourke, C.P., Sanderson, B.J.: \(\Delta \)-sets I: Homotopy theory. Q. J. Math. 22(3), 321–338 (1971)
Schweizer, B., Sklar, A.: Function systems. Mathem. Annalen 172, 1–16 (1967)
Winkowski, Józef.: Algebras of partial sequences—a tool to deal with concurrency. In: Karpiński, Marek (ed.) FCT 1977. LNCS, vol. 56, pp. 187–196. Springer, Heidelberg (1977). https://doi.org/10.1007/3-540-08442-8_85
Acknowledgments
The third and fourth author would like to thank the Laboratoire d’informatique de l’École polytechnique, where part of this work has been conducted, for their hospitality and financial support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Calk, C., Fahrenberg, U., Johansen, C., Struth, G., Ziemiański, K. (2021). \(\ell r\)-Multisemigroups, Modal Quantales and the Origin of Locality. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2021. Lecture Notes in Computer Science(), vol 13027. Springer, Cham. https://doi.org/10.1007/978-3-030-88701-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-88701-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-88700-1
Online ISBN: 978-3-030-88701-8
eBook Packages: Computer ScienceComputer Science (R0)