e-space
Manchester Metropolitan University's Research Repository

    Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility

    Odintsov, S and Rybakov, V (2015) Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility. Logica Universalis, 9. ISSN 1661-8297

    [img]
    Preview

    Download (216kB) | Preview

    Abstract

    © 2015, Springer Basel. Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility itself – for restricted cases, to show the problems arising in the course of study.

    Impact and Reach

    Statistics

    Activity Overview
    6 month trend
    267Downloads
    6 month trend
    267Hits

    Additional statistics for this dataset are available via IRStats2.

    Altmetric

    Repository staff only

    Edit record Edit record