Determinism of multirelations

DOI10.1016/J.JLAMP.2024.100976MaRDI QIDQ6561345FDOQ6561345

Hitoshi Furusawa, Georg Struth, Walter Guttmann

Publication date: 25 June 2024

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

zbMATH Keywords

categoriesbinary relationsquantaloidsbinary multirelationsdeterministic multirelationspower allegories

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Demonic operators and monotype factors
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Concurrent dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory and Applications of Relational Structures as Knowledge Instruments
• Concurrent Dynamic Algebra
• Taming Multirelations
• Refinement and the Z schema calculus
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Iterated covariant powerset is not a monad

This page was built for publication: Determinism of multirelations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561345)