Open Access
Translator Disclaimer
2006 A Note on Monothetic BCI
Sam Butchart, Tomasz Kowalski
Notre Dame J. Formal Logic 47(4): 541-544 (2006). DOI: 10.1305/ndjfl/1168352666

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.

Citation

Download Citation

Sam Butchart. Tomasz Kowalski. "A Note on Monothetic BCI." Notre Dame J. Formal Logic 47 (4) 541 - 544, 2006. https://doi.org/10.1305/ndjfl/1168352666

Information

Published: 2006
First available in Project Euclid: 9 January 2007

zbMATH: 1129.03006
MathSciNet: MR2272087
Digital Object Identifier: 10.1305/ndjfl/1168352666

Subjects:
Primary: 03B47

Keywords: BCI logic , monothetic BCI logic , substructural logics

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
4 PAGES


SHARE
Vol.47 • No. 4 • 2006
Back to Top