We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO
< prev | next >
new | recent | 1501

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Taming Multirelations

Authors: Hitoshi Furusawa, Georg Struth
(Submitted on 21 Jan 2015 (v1), last revised 13 Jun 2015 (this version, v2))
Abstract: Binary multirelations generalise binary relations by associating elements of a set to its subsets. We study the structure and algebra of multirelations under the operations of union, intersection, sequential and parallel composition, as well as finite and infinite iteration. Starting from a set-theoretic investigation, we propose axiom systems for multirelations in contexts ranging from bi-monoids to bi-quantales.
Comments: 34 pages, 4 figures
Subjects: Logic in Computer Science (cs.LO)
ACM classes: F.1.2; F.3.1; F.3.2; F.4.1; I.1.3
Cite as: arXiv:1501.05147 [cs.LO]
  (or arXiv:1501.05147v2 [cs.LO] for this version)

Submission history

From: Georg Struth [view email]
[v1] Wed, 21 Jan 2015 12:00:10 GMT (40kb)
[v2] Sat, 13 Jun 2015 14:00:12 GMT (40kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.