Vis enkel innførsel

Structural proof theory for first-order weak Kleene logics

dc.contributor.authorFjellstad, Andreas
dc.date.accessioned2021-04-23T07:41:49Z
dc.date.available2021-04-23T07:41:49Z
dc.date.created2020-08-24T14:29:34Z
dc.date.issued2020
dc.PublishedJournal of Applied Non-Classical Logics (JANCL). 2020, 30 (3), 272-289.
dc.identifier.issn1166-3081
dc.identifier.urihttps://hdl.handle.net/11250/2739239
dc.description.abstractThis paper presents a sound and complete five-sided sequent calculus for first-order weak Kleene valuations which permits not only elegant representations of four logics definable on first-order weak Kleene valuations, but also admissibility of five cut rules by proof analysis.en_US
dc.language.isoengen_US
dc.publisherTaylor & Francisen_US
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.no*
dc.titleStructural proof theory for first-order weak Kleene logicsen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionpublishedVersionen_US
dc.rights.holderCopyright 2020 The Authorsen_US
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1
dc.identifier.doihttps://doi.org/10.1080/11663081.2020.1782593
dc.identifier.cristin1824841
dc.source.journalJournal of Applied Non-Classical Logics (JANCL)en_US
dc.source.4030
dc.source.143
dc.source.pagenumber272-289en_US
dc.identifier.citationJournal of Applied Non-Classical Logics (JANCL). 2020, 30(3):272-289en_US
dc.source.volume30en_US
dc.source.issue3en_US


Tilhørende fil(er)

Thumbnail
Filnavn:
Andreas+Fjellstad_Structural+p ...
Størrelse:
1.582Mb
Format:
PDF
Beskrivelse:
PDF
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Attribution-NonCommercial-NoDerivatives 4.0 Internasjonal
Med mindre annet er angitt, så er denne innførselen lisensiert som Attribution-NonCommercial-NoDerivatives 4.0 Internasjonal