A note on monothetic BCI

Simple item page
dc.contributor.authorKowalski, Tomasz
dc.contributor.authorButchart, Samy
dc.date.accessioned2015-12-08T22:38:38Z
dc.date.available2015-12-08T22:38:38Z
dc.date.issued2006
dc.date.updated2015-12-08T10:09:34Z
dc.description.abstractIn "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
dc.identifier.issn0029-4527
dc.identifier.urihttp://hdl.handle.net/1885/35890
dc.publisherUniversity of Notre Dame Press
dc.sourceNotre Dame Journal of Formal Logic
dc.subjectKeywords: BCI logic; Monothetic BCI logic; Substructural logics
dc.titleA note on monothetic BCI
dc.typeJournal article
local.bibliographicCitation.issue4
local.bibliographicCitation.lastpage544
local.bibliographicCitation.startpage541
local.contributor.affiliationKowalski, Tomasz, College of Engineering and Computer Science, ANU
local.contributor.affiliationButchart, Samy, Monash University
local.contributor.authoruidKowalski, Tomasz, u4056103
local.description.notesImported from ARIES
local.identifier.absfor010104 - Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
local.identifier.ariespublicationu8803936xPUB129
local.identifier.citationvolume47
local.identifier.doi10.1305/ndjfl/1168352666
local.identifier.scopusID2-s2.0-34447568341
local.type.statusPublished Version

Downloads

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS