Skip navigation
Skip navigation

A note on monothetic BCI

Kowalski, Tomasz; Butchart, Samy


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

CollectionsANU Research Publications
Date published: 2006
Type: Journal article
Source: Notre Dame Journal of Formal Logic
DOI: 10.1305/ndjfl/1168352666


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator