Self-implications in BCI
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.
|Collections||ANU Research Publications|
|Source:||Notre Dame Journal of Formal Logic|
|01_Kowalski_Self-implications_in_BCI_2008.pdf||166.06 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.