Skip navigation
Skip navigation

Self-implications in BCI

Kowalski, Tomasz

Description

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
URI: http://hdl.handle.net/1885/38030
Source: Notre Dame Journal of Formal Logic
DOI: 10.1215/00294527-2008-013

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator