Skip navigation
Skip navigation

Self-implications in BCI

Kowalski, Tomasz


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.

CollectionsANU Research Publications
Date published: 2008
Type: Journal article
Source: Notre Dame Journal of Formal Logic
DOI: 10.1215/00294527-2008-013


File Description SizeFormat Image
01_Kowalski_Self-implications_in_BCI_2008.pdf166.06 kBAdobe PDF    Request a copy

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

Updated:  22 January 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator