2022/01/22 by Matteo Mio, Mio, Matteo, Ralph Sarkis +3 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
paper · pdf · doi:10.48550/arxiv.2201.09087
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed with generalised metric space structures, and operations being nonexpansive up to a lifting. We apply our results to the algebraic axiomatisation of the Łukaszyk--Karmowski distance on probability distributions, which has recently found application in the field of representation learning on Markov processes.