Self-implications in BCI

dc.contributor.author	Kowalski, Tomasz
dc.date.accessioned	2015-12-08T22:46:10Z
dc.date.issued	2008
dc.date.updated	2016-02-24T11:43:29Z
dc.description.abstract	Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. Meyer conjectures that the axiom B does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.
dc.identifier.issn	0029-4527
dc.identifier.uri	http://hdl.handle.net/1885/38030
dc.publisher	University of Notre Dame Press
dc.source	Notre Dame Journal of Formal Logic
dc.subject	Keywords: BCI logic; Self-implication; Sequent system
dc.title	Self-implications in BCI
dc.type	Journal article
local.bibliographicCitation.issue	3
local.bibliographicCitation.lastpage	10
local.bibliographicCitation.startpage	1
local.contributor.affiliation	Kowalski, Tomasz, College of Engineering and Computer Science, ANU
local.contributor.authoruid	Kowalski, Tomasz, u4056103
local.description.embargo	2037-12-31
local.description.notes	Imported from ARIES
local.identifier.absfor	010104 - Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
local.identifier.ariespublication	u8803936xPUB156
local.identifier.citationvolume	49
local.identifier.doi	10.1215/00294527-2008-013
local.identifier.scopusID	2-s2.0-84872969092
local.type.status	Published Version

Downloads

Now showing 1 - 1 of 1