Skip navigation
Skip navigation

A note on monothetic BCI

Kowalski, Tomasz; Butchart, Samy

Description

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
URI: http://hdl.handle.net/1885/35890
Source: Notre Dame Journal of Formal Logic
DOI: 10.1305/ndjfl/1168352666

Download

There are no files associated with this item.


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

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator