<> <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/10198560> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/title> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/abstract> "Fo-bicategories are a categorification of Peirce’s calculus of relations. Notably, their laws provide a proof system for first-order logic that is both purely equational and complete. This paper illustrates a correspondence between fo-bicategories and Lawvere’s hyperdoctrines. To streamline our proof, we introduce peircean bicategories, which offer a more succinct characterization of fo-bicategories."^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/date> "2024-08-23" . <https://discovery.ucl.ac.uk/id/document/1787080> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/volume> "306" . <https://discovery.ucl.ac.uk/id/org/ext-ca14f18d71f799730343cffa52202938> <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-ca14f18d71f799730343cffa52202938> <http://xmlns.com/foaf/0.1/name> "Dagstuhl Publishing"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-ca14f18d71f799730343cffa52202938> . <https://discovery.ucl.ac.uk/id/publication/ext-18688969> <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-18688969> <http://xmlns.com/foaf/0.1/name> "Leibniz International Proceedings in Informatics, LIPIcs"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-18688969> . <https://discovery.ucl.ac.uk/id/publication/ext-18688969> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:18688969> . <https://discovery.ucl.ac.uk/id/publication/ext-18688969> <http://purl.org/ontology/bibo/issn> "18688969" . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-a4ccf0b141ef1f4617f227bcc3e0a6db> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10198560#authors> . <https://discovery.ucl.ac.uk/id/eprint/10198560#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-a4ccf0b141ef1f4617f227bcc3e0a6db> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-a50539ae3ded59576d181f29287b515a> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10198560#authors> . <https://discovery.ucl.ac.uk/id/eprint/10198560#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-a50539ae3ded59576d181f29287b515a> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-d8fdb04fbf72085a24f2d55f0e6d1f98> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10198560#authors> . <https://discovery.ucl.ac.uk/id/eprint/10198560#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-d8fdb04fbf72085a24f2d55f0e6d1f98> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-04c09c738311d947f45032f150ea98a0> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10198560#editors> . <https://discovery.ucl.ac.uk/id/eprint/10198560#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-04c09c738311d947f45032f150ea98a0> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-c9d013728c0e27040e13347c15d66d3b> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10198560#editors> . <https://discovery.ucl.ac.uk/id/eprint/10198560#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-c9d013728c0e27040e13347c15d66d3b> . <https://discovery.ucl.ac.uk/id/person/ext-a4ccf0b141ef1f4617f227bcc3e0a6db> <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-a4ccf0b141ef1f4617f227bcc3e0a6db> <http://xmlns.com/foaf/0.1/givenName> "Filippo"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-a4ccf0b141ef1f4617f227bcc3e0a6db> <http://xmlns.com/foaf/0.1/familyName> "Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-a4ccf0b141ef1f4617f227bcc3e0a6db> <http://xmlns.com/foaf/0.1/name> "Filippo Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-a50539ae3ded59576d181f29287b515a> <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-a50539ae3ded59576d181f29287b515a> <http://xmlns.com/foaf/0.1/givenName> "Alessandro"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-a50539ae3ded59576d181f29287b515a> <http://xmlns.com/foaf/0.1/familyName> "Di Giorgio"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-a50539ae3ded59576d181f29287b515a> <http://xmlns.com/foaf/0.1/name> "Alessandro Di Giorgio"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-c9d013728c0e27040e13347c15d66d3b> <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-c9d013728c0e27040e13347c15d66d3b> <http://xmlns.com/foaf/0.1/givenName> "AntonÃn"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-c9d013728c0e27040e13347c15d66d3b> <http://xmlns.com/foaf/0.1/familyName> "KuÄera"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-c9d013728c0e27040e13347c15d66d3b> <http://xmlns.com/foaf/0.1/name> "AntonÃn KuÄera"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-d8fdb04fbf72085a24f2d55f0e6d1f98> <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-d8fdb04fbf72085a24f2d55f0e6d1f98> <http://xmlns.com/foaf/0.1/givenName> "Davide"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-d8fdb04fbf72085a24f2d55f0e6d1f98> <http://xmlns.com/foaf/0.1/familyName> "Trotta"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-d8fdb04fbf72085a24f2d55f0e6d1f98> <http://xmlns.com/foaf/0.1/name> "Davide Trotta"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-04c09c738311d947f45032f150ea98a0> <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-04c09c738311d947f45032f150ea98a0> <http://xmlns.com/foaf/0.1/givenName> "Rastislav"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-04c09c738311d947f45032f150ea98a0> <http://xmlns.com/foaf/0.1/familyName> "KráloviÄ"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-04c09c738311d947f45032f150ea98a0> <http://xmlns.com/foaf/0.1/name> "Rastislav KráloviÄ"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-364b8cc937bbeb2d0932378331095c0d> . <https://discovery.ucl.ac.uk/id/event/ext-364b8cc937bbeb2d0932378331095c0d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> . <https://discovery.ucl.ac.uk/id/event/ext-364b8cc937bbeb2d0932378331095c0d> <http://purl.org/dc/terms/title> "Mathematical Foundations of Computer Science (MFCS)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787080> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1787080> <http://www.w3.org/2000/01/rdf-schema#label> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines (Text)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787080> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10198560/1/LIPIcs.MFCS.2024.30.pdf> . <https://discovery.ucl.ac.uk/id/document/1787080> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10198560/1/LIPIcs.MFCS.2024.30.pdf> . <https://discovery.ucl.ac.uk/id/eprint/10198560/1/LIPIcs.MFCS.2024.30.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "LIPIcs.MFCS.2024.30.pdf"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10198560> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1787081> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://www.w3.org/2000/01/rdf-schema#label> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10198560/2/indexcodes.txt> . <https://discovery.ucl.ac.uk/id/document/1787081> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10198560/2/indexcodes.txt> . <https://discovery.ucl.ac.uk/id/eprint/10198560/2/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/10198560> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1787082> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://www.w3.org/2000/01/rdf-schema#label> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10198560/3/lightbox.jpg> . <https://discovery.ucl.ac.uk/id/document/1787082> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10198560/3/lightbox.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10198560/3/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/10198560> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1787083> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://www.w3.org/2000/01/rdf-schema#label> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10198560/4/preview.jpg> . <https://discovery.ucl.ac.uk/id/document/1787083> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10198560/4/preview.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10198560/4/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/10198560> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1787084> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://www.w3.org/2000/01/rdf-schema#label> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10198560/5/medium.jpg> . <https://discovery.ucl.ac.uk/id/document/1787084> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10198560/5/medium.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10198560/5/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/10198560> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1787085> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://www.w3.org/2000/01/rdf-schema#label> "When Lawvere Meets Peirce: An Equational\r\nPresentation of Boolean Hyperdoctrines (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1787080> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10198560/6/small.jpg> . <https://discovery.ucl.ac.uk/id/document/1787085> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10198560/6/small.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10198560/6/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/10198560> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10198560/> . <https://discovery.ucl.ac.uk/id/eprint/10198560/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10198560 \n\nWhen Lawvere Meets Peirce: An Equational \nPresentation of Boolean Hyperdoctrines\n\n" . <https://discovery.ucl.ac.uk/id/eprint/10198560/> <http://purl.org/dc/elements/1.1/format> "text/html" . <https://discovery.ucl.ac.uk/id/eprint/10198560/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10198560> .