<> <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/10195683> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/dc/terms/title> "Bilateral Inversion Principles"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/abstract> "This paper formulates a bilateral account of harmony that is an alternative to one proposed by\r\nFrancez. It builds on an account of harmony for unilateral logic proposed by K ¨urbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and\r\nconsequences of formulas with the opposite speech act. I formulate a process I call ‘inversion’ which\r\nallows the determination of assertive elimination rules from assertive introduction rules, and rejective\r\nelimination rules from rejective introduction rules, and conversely. It corresponds to Francez’s notion\r\nof vertical harmony. I also formulate a process I call ‘conversion’, which allows the determination\r\nof rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to\r\nFrancez’s notion of horizontal harmony. The account has a number of features that distinguishes it\r\nfrom Francez’s."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/dc/terms/date> "2022-03" .
<https://discovery.ucl.ac.uk/id/document/1767198> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/volume> "358" .
<https://discovery.ucl.ac.uk/id/org/ext-b8323fba30c9e77f7c617ec699d07e80> <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-b8323fba30c9e77f7c617ec699d07e80> <http://xmlns.com/foaf/0.1/name> "NCL"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-b8323fba30c9e77f7c617ec699d07e80> .
<https://discovery.ucl.ac.uk/id/publication/ext-b8323fba30c9e77f7c617ec699d07e80> <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-b8323fba30c9e77f7c617ec699d07e80> <http://xmlns.com/foaf/0.1/name> "NCL"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-b8323fba30c9e77f7c617ec699d07e80> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-61d2a16200ee53ab197627b7d625cf9e> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10195683#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10195683#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-61d2a16200ee53ab197627b7d625cf9e> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-065c1a81a236d3b4d5576a5021a8040a> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10195683#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10195683#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-065c1a81a236d3b4d5576a5021a8040a> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-6911bd0d7cc9c0cfb361020100c1eac4> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10195683#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10195683#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-6911bd0d7cc9c0cfb361020100c1eac4> .
<https://discovery.ucl.ac.uk/id/person/ext-065c1a81a236d3b4d5576a5021a8040a> <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-065c1a81a236d3b4d5576a5021a8040a> <http://xmlns.com/foaf/0.1/givenName> "Andrzej"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-065c1a81a236d3b4d5576a5021a8040a> <http://xmlns.com/foaf/0.1/familyName> "Indrzejczak"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-065c1a81a236d3b4d5576a5021a8040a> <http://xmlns.com/foaf/0.1/name> "Andrzej Indrzejczak"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-61d2a16200ee53ab197627b7d625cf9e> <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-61d2a16200ee53ab197627b7d625cf9e> <http://xmlns.com/foaf/0.1/givenName> "Nils"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-61d2a16200ee53ab197627b7d625cf9e> <http://xmlns.com/foaf/0.1/familyName> "Kürbis"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-61d2a16200ee53ab197627b7d625cf9e> <http://xmlns.com/foaf/0.1/name> "Nils Kürbis"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6911bd0d7cc9c0cfb361020100c1eac4> <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-6911bd0d7cc9c0cfb361020100c1eac4> <http://xmlns.com/foaf/0.1/givenName> "Michal"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6911bd0d7cc9c0cfb361020100c1eac4> <http://xmlns.com/foaf/0.1/familyName> "Zawidzki"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6911bd0d7cc9c0cfb361020100c1eac4> <http://xmlns.com/foaf/0.1/name> "Michal Zawidzki"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-db5b3e2eae0f23423878f3e209884bde> .
<https://discovery.ucl.ac.uk/id/event/ext-db5b3e2eae0f23423878f3e209884bde> <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-db5b3e2eae0f23423878f3e209884bde> <http://purl.org/dc/terms/title> "10th International Conference on Non-Classical Logics (EPTCS)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767198> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1767198> <http://www.w3.org/2000/01/rdf-schema#label> "Bilateral Inversion Principles (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1767198> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10195683/1/Kuerbis_2204.06732v1.pdf> .
<https://discovery.ucl.ac.uk/id/document/1767198> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10195683/1/Kuerbis_2204.06732v1.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/1/Kuerbis_2204.06732v1.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Kuerbis_2204.06732v1.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10195683> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1767212> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://www.w3.org/2000/01/rdf-schema#label> "Bilateral Inversion Principles (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10195683/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1767212> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10195683/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/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/10195683> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1767213> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://www.w3.org/2000/01/rdf-schema#label> "Bilateral Inversion Principles (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10195683/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1767213> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10195683/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/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/10195683> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1767214> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://www.w3.org/2000/01/rdf-schema#label> "Bilateral Inversion Principles (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10195683/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1767214> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10195683/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/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/10195683> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1767215> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://www.w3.org/2000/01/rdf-schema#label> "Bilateral Inversion Principles (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10195683/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1767215> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10195683/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/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/10195683> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1767216> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://www.w3.org/2000/01/rdf-schema#label> "Bilateral Inversion Principles (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1767198> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10195683/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1767216> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10195683/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/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/10195683> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10195683/> .
<https://discovery.ucl.ac.uk/id/eprint/10195683/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10195683 \n\nBilateral Inversion Principles\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10195683/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10195683/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10195683> .