Self-implications in BCI


L. Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. R.K. Meyer conjectures that the axiom B does not imply any such “self-implication”. We prove a slightly stronger result, thereby confirming Meyer’s conjecture. 
DOI: 10.1215/00294527-2008-013

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.