Classical versions of BCI, BCK and BCIW logics

Bunder, Martin; Slaney, John K

Classical versions of BCI, BCK and BCIW logics

https://hdl.handle.net/10779/uow.27712965

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

Related Materials

1.
ISSN - Is published in 0138-0680

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.

Language

English

RIS ID

87083

Journal title

Bulletin of the Section of Logic

Volume

23

Issue

2

Pagination

61-65

Usage metrics

Keywords

logics bciw bck classical bci versions

Classical versions of BCI, BCK and BCIW logics

History

Related Materials

Citation

Language

RIS ID

Journal title

Volume

Issue

Pagination

Usage metrics

Categories

Keywords

Licence

Exports