Show simple item record

dc.contributor.authorØgaard, Tore Fjetland
dc.date.accessioned2021-04-22T11:21:03Z
dc.date.available2021-04-22T11:21:03Z
dc.date.created2020-08-06T10:43:08Z
dc.date.issued2020
dc.PublishedLogic Journal of the IGPL. 2020, .
dc.identifier.issn1367-0751
dc.identifier.urihttps://hdl.handle.net/11250/2739118
dc.descriptionUnder embargo until: 2021-07-15en_US
dc.description.abstractMany relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean extended logic.en_US
dc.language.isoengen_US
dc.publisherOxford University Pressen_US
dc.subjectModallogikken_US
dc.subjectModal logicen_US
dc.subjectIkke-klassisk logikken_US
dc.subjectNon-classical logicen_US
dc.subjectLogikken_US
dc.subjectLogicen_US
dc.titleBoolean negation and non-conservativity I: Relevant modal logicsen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionacceptedVersionen_US
dc.rights.holderCopyright 2020 The Authoren_US
cristin.ispublishedtrue
cristin.fulltextpostprint
cristin.qualitycode1
dc.identifier.doi10.1093/jigpal/jzaa019
dc.identifier.cristin1821978
dc.source.journalLogic Journal of the IGPLen_US
dc.subject.nsiVDP::Logikk: 163en_US
dc.subject.nsiVDP::Logic: 163en_US
dc.subject.nsiVDP::Logikk: 163en_US
dc.subject.nsiVDP::Logic: 163en_US
dc.identifier.citationLogic Journal of the IGPL. 2020en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record