<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10134566> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/title> "Axioms for signatures with domain and demonic composition"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/ontology/bibo/abstract> "Demonic composition ∗ is an associative operation on binary relations, and demonic refinement ⊑ is a partial order on binary relations. Other operations on binary relations considered here include the unary domain operation D and the left restrictive multiplication operation ∘ given by s∘t=D(s)∗t. We show that the class of relation algebras of signature {⊑,D,∗}, or equivalently {⊆,∘,∗}, has no finite axiomatisation. A large number of other non-finite axiomatisability consequences of this result are also given, along with some further negative results for related signatures. On the positive side, a finite set of axioms is obtained for relation algebras with signature {⊑,∘,∗}, hence also for {⊆,∘,∗}."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/date> "2021-05" .
<https://discovery.ucl.ac.uk/id/document/1370565> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/ontology/bibo/volume> "82" .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/ontology/bibo/issue> "2" .
<https://discovery.ucl.ac.uk/id/org/ext-0f540228a412b27dc7f894606f9227aa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-0f540228a412b27dc7f894606f9227aa> <http://xmlns.com/foaf/0.1/name> "SPRINGER BASEL AG"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-0f540228a412b27dc7f894606f9227aa> .
<https://discovery.ucl.ac.uk/id/publication/ext-ffa4997f2273bb08629f4fc3edfa4f25> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-ffa4997f2273bb08629f4fc3edfa4f25> <http://xmlns.com/foaf/0.1/name> "Algebra universalis"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-ffa4997f2273bb08629f4fc3edfa4f25> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-86013d8d6253fcc7951e3b2b865d26d9> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10134566#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10134566#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-86013d8d6253fcc7951e3b2b865d26d9> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-35ed118308013ac4e5aee3ca07ae052c> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10134566#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10134566#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-35ed118308013ac4e5aee3ca07ae052c> .
<https://discovery.ucl.ac.uk/id/person/ext-86013d8d6253fcc7951e3b2b865d26d9> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-86013d8d6253fcc7951e3b2b865d26d9> <http://xmlns.com/foaf/0.1/givenName> "R"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-86013d8d6253fcc7951e3b2b865d26d9> <http://xmlns.com/foaf/0.1/familyName> "Hirsch"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-86013d8d6253fcc7951e3b2b865d26d9> <http://xmlns.com/foaf/0.1/name> "R Hirsch"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-35ed118308013ac4e5aee3ca07ae052c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-35ed118308013ac4e5aee3ca07ae052c> <http://xmlns.com/foaf/0.1/givenName> "T"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-35ed118308013ac4e5aee3ca07ae052c> <http://xmlns.com/foaf/0.1/familyName> "Stokes"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-35ed118308013ac4e5aee3ca07ae052c> <http://xmlns.com/foaf/0.1/name> "T Stokes"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370565> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1370565> <http://www.w3.org/2000/01/rdf-schema#label> "Axioms for signatures with domain and demonic composition (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370565> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10134566/1/demonic-revised-post-review.pdf> .
<https://discovery.ucl.ac.uk/id/document/1370565> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10134566/1/demonic-revised-post-review.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/1/demonic-revised-post-review.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "demonic-revised-post-review.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1370566> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://www.w3.org/2000/01/rdf-schema#label> "Axioms for signatures with domain and demonic composition (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10134566/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1370566> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10134566/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/2/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1370567> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://www.w3.org/2000/01/rdf-schema#label> "Axioms for signatures with domain and demonic composition (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10134566/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1370567> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10134566/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1370568> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://www.w3.org/2000/01/rdf-schema#label> "Axioms for signatures with domain and demonic composition (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10134566/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1370568> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10134566/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1370569> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://www.w3.org/2000/01/rdf-schema#label> "Axioms for signatures with domain and demonic composition (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10134566/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1370569> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10134566/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1370570> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://www.w3.org/2000/01/rdf-schema#label> "Axioms for signatures with domain and demonic composition (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1370565> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10134566/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1370570> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10134566/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10134566> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10134566/> .
<https://discovery.ucl.ac.uk/id/eprint/10134566/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10134566 \n\nAxioms for signatures with domain and demonic composition\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10134566/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10134566/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10134566> .