A note on monothetic BCI

Tomasz Kowalski; Sam Butchart

doi:10.1305/ndjfl/1168352666

A note on monothetic BCI

Tomasz Kowalski^*, Sam Butchart

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

Abstract

In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI-the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

Original language	English
Pages (from-to)	541-544
Number of pages	4
Journal	Notre Dame Journal of Formal Logic
Volume	47
Issue number	4
DOIs	https://doi.org/10.1305/ndjfl/1168352666
Publication status	Published - 2006

Access to Document

10.1305/ndjfl/1168352666

Cite this

@article{5735de3a18174278b1deb17ae35b96e4,

title = "A note on monothetic BCI",

abstract = "In {"}Variations on a theme of Curry,{"} Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI-the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.",

keywords = "BCI logic, Monothetic BCI logic, Substructural logics",

author = "Tomasz Kowalski and Sam Butchart",

year = "2006",

doi = "10.1305/ndjfl/1168352666",

language = "English",

volume = "47",

pages = "541--544",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "4",

}

TY - JOUR

T1 - A note on monothetic BCI

AU - Kowalski, Tomasz

AU - Butchart, Sam

PY - 2006

Y1 - 2006

N2 - In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI-the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

AB - In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI-the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

KW - BCI logic

KW - Monothetic BCI logic

KW - Substructural logics

UR - https://www.scopus.com/pages/publications/34447568341

U2 - 10.1305/ndjfl/1168352666

DO - 10.1305/ndjfl/1168352666

M3 - Article

SN - 0029-4527

VL - 47

SP - 541

EP - 544

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 4

ER -

A note on monothetic BCI

Abstract

Access to Document

Other files and links

Cite this