- From: Patrick J. Hayes <phayes@ihmc.org>
- Date: Sat, 8 Jan 2022 21:31:53 +0000
- To: thomas lörtsch <tl@rat.io>
- CC: "public-rdf-star@w3.org" <public-rdf-star@w3.org>
> On Jan 8, 2022, at 1:13 PM, thomas lörtsch <tl@rat.io> wrote: > > Hi Peter! > >> Am 12.12.2021 um 06:19 schrieb Peter F. Patel-Schneider <pfpschneider@gmail.com>: >> >> Semantics for linear logic can be based on multisets. >> Here is one such treatment: >> http://users.auth.gr/tzouvara/Texfiles.htm/multlog.pdf >> >> There is a treatment of SPARQL that uses multisets: >> https://arxiv.org/abs/1610.04315 > > Thanks a lot for the pointers! As was to be expected this is way over my head… I read both papers and they both seem excellent and well written, yet two or three pages in I’m lost, very much. I still managed to gather something from those first pages. > > The first, more foundational paper is not cited very often. The topic doesn’t seem to be very hotly debated. It makes this curious statemet quite at the beginning: > > "For reasons hidden in the early history of set theory, a set came to mean a collection of types of objects rather than of concrete tokens of them." I am glad you caught that. This statement is COMPLETE HISTORICAL NONSENSE. I can elaborate on this if required, but nothing in the rest of that paper depends on this, so my advice would be to simply ignore it. Pat
Received on Saturday, 8 January 2022 21:32:23 UTC