Translator Disclaimer
2008 Self-implications in BCI
Tomasz Kowalski
Notre Dame J. Formal Logic 49(3): 295-305 (2008). DOI: 10.1215/00294527-2008-013

Abstract

Humberstone asks whether every theorem of BCIprovably 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.

Citation

Download Citation

Tomasz Kowalski. "Self-implications in BCI." Notre Dame J. Formal Logic 49 (3) 295 - 305, 2008. https://doi.org/10.1215/00294527-2008-013

Information

Published: 2008
First available in Project Euclid: 15 July 2008

zbMATH: 1167.03018
MathSciNet: MR2428556
Digital Object Identifier: 10.1215/00294527-2008-013

Subjects:
Primary: 03B47, 03F07

Rights: Copyright © 2008 University of Notre Dame

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.49 • No. 3 • 2008
Back to Top