University of Wollongong
Browse

Classical versions of BCI, BCK and BCIW logics

Download (124.59 kB)
journal contribution
posted on 2024-11-14, 03:57 authored by Martin BunderMartin Bunder, John K Slaney
The question is, is there a formula X, independent of B,C,K1, I and W that creates distinct subclassical logics BCIX,BCKX and BCIWX, while BCKWX is the full classical implicational logic TV?

History

Citation

Bunder, M. W. & Slaney, J. K. (1994). Classical versions of BCI, BCK and BCIW logics. Bulletin of the Section of Logic, 23 (2), 61-65.

Journal title

Bulletin of the Section of Logic

Volume

23

Issue

2

Pagination

61-65

Language

English

RIS ID

87083

Usage metrics

    Categories

    Keywords

    logicsbciwbckclassicalbciversions

    Licence

    Copyright - All rights reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC