Kleisli, Parikh and Peleg compositions and liftings for multirelations

DOI10.1016/J.JLAMP.2017.04.002zbMath1371.68171arXiv1705.05650OpenAlexW3098347988MaRDI QIDQ2360654

Georg Struth, Hitoshi Furusawa, Yasuo Kawahara, Norihiro Tsumagari

Publication date: 4 July 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.05650

zbMATH Keywords

relational calculusalgebras of multirelationsassociativity of compositions of multirelationsliftings of multirelations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

A semantics and a logic for \textit{Fuzzy Arden Syntax}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Modelling simultaneous games in dynamic logic
• Communication in concurrent dynamic logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Point Axioms in Dedekind Categories
• A Relation-Algebraic Approach to Multirelations and Predicate Transformers
• Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
• Relational Formalisations of Compositions and Liftings of Multirelations
• Monadic Maps and Folds for Multirelations in an Allegory
• Concurrent dynamic logic
• Alternation
• Refinement Calculus
• The algebra of multirelations
• Concurrent Dynamic Algebra
• Taming Multirelations

This page was built for publication: Kleisli, Parikh and Peleg compositions and liftings for multirelations