Author:
Fahrenberg Uli,Johansen Christian,Struth Georg,Ziemiański Krzysztof
Abstract
AbstractWe show how modal quantales arise as convolution algebras $$Q^X$$
Q
X
of functions from catoids X, multisemigroups equipped with source and target maps, into modal quantales value or weight quantales Q. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in X, Q and $$Q^X$$
Q
X
. The catoids introduced generalise Schweizer and Sklar’s function systems and single-set categories to structures isomorphic to algebras of ternary relations, as they are used for boolean algebras with operators and substructural logics. Our correspondence results support a generic construction of weighted modal quantales from catoids. This construction is illustrated by many examples. We also relate our results to reasoning with stochastic matrices or probabilistic predicate transformers.
Funder
NTNU Norwegian University of Science and Technology
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference41 articles.
1. Brown, R.: Topology and Groupoids. www.groupoids.org (2006)
2. Calk, C., Goubault, E., Malbos, P., Struth, G.: Algebraic coherent confluence and globular Kleene algebras. Log. Methods. Comput. Sci. (2022). In print
3. Connes, A.: Noncommutative Geometry. Academic Press, Cambridge (1995)
4. Cranch, J., Doherty, S., Struth, G.: Relational semigroups and object-free categories. CoRR arXiv:2001.11895 (2020)
5. Cranch, J., Doherty, S., Struth, G.: Convolution and concurrency. Math. Struct. Comput. Sci. 31(8), 918–949 (2022)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献