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.
Mathematical Reviews (MathSciNet):
MR2108021
Zentralblatt MATH:
1067.03029
Digital Object Identifier: doi:10.1007/s11225-005-0106-8
[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.
Zentralblatt MATH:
0242.02029
[4] Humberstone, L., "Variations on a theme of Curry", Notre Dame Journal of Formal Logic, vol. 47 (2006), pp. 101--31.
Mathematical Reviews (MathSciNet):
MR2211186
Zentralblatt MATH:
1107.03018
Digital Object Identifier: doi:10.1305/ndjfl/1143468315
Project Euclid: euclid.ndjfl/1143468315
[5] Kowalski, T., and S. Butchart, "A note on monothetic BCI", Notre Dame Journal of Formal Logic, vol. 47 (2006), pp. 541--44.
Mathematical Reviews (MathSciNet):
MR2272087
Zentralblatt MATH:
05176393
Digital Object Identifier: doi:10.1305/ndjfl/1168352666
Project Euclid: euclid.ndjfl/1168352666
[6] Nagayama, M., "On a property of BCK"-identities, Studia Logica, vol. 53 (1994), pp. 227--34.
Mathematical Reviews (MathSciNet):
MR1278476
Zentralblatt MATH:
0799.06032
Digital Object Identifier: doi:10.1007/BF01054710
Notre Dame Journal of Formal Logic
