Self-implications in BCI
Tomasz Kowalski
Source: Notre Dame J. Formal Logic
Volume 49, Number 3
(2008), 295-305.
Abstract
Humberstone asks whether every theorem of BCI
provably implies $\phi\to\phi$
for some formula $\phi$.
Meyer conjectures that the axiom $\mathbf{B}$
does not imply any such
"self-implication." We prove a slightly stronger result, thereby
confirming Meyer's conjecture.
Primary Subjects: 03F07, 03B47
Keywords: BCI logic; sequent system; self-implication
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription.
Read more about accessing full-text
Alternatively, the document is available for a cost of $20. Select the "buy article" button below to purchase this document from a secured VeriSign, Inc. site.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1216152552
Digital Object Identifier: doi:10.1215/00294527-2008-013
References
[1] Blok, W. J., and J. G. Raftery, "Fragments of $R$"-mingle, Studia Logica, vol. 78 (2004), pp. 59--106.
[2] Buszkowski, W., "Type logics in grammar", pp. 337--82 in Trends in Logic, vol. 21 of Trends in Logic-Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2003.
[3] Curry, H. B., R. Hindley, and J. Seldin, Combinatory Logic II, North Holland, Amsterdam, 1972.
[4] Humberstone, L., "Variations on a theme of Curry", Notre Dame Journal of Formal Logic, vol. 47 (2006), pp. 101--31.
[5] Kowalski, T., and S. Butchart, "A note on monothetic BCI", Notre Dame Journal of Formal Logic, vol. 47 (2006), pp. 541--44.
[6] Nagayama, M., "On a property of BCK"-identities, Studia Logica, vol. 53 (1994), pp. 227--34.