Catoids and modal convolution algebras

Autor: Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
Rok vydání: 2023
Předmět:
Zdroj: Algebra universalis. 84
ISSN: 1420-8911
0002-5240
DOI: 10.1007/s00012-023-00805-9
Popis: We 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.
Databáze: OpenAIRE
Externí odkaz: