Translator Disclaimer
2014 BCK is not Structurally Complete
Tomasz Kowalski
Notre Dame J. Formal Logic 55(2): 197-204 (2014). DOI: 10.1215/00294527-2420642

Abstract

We exhibit a simple inference rule, which is admissible but not derivable in BCK, proving that BCK is not structurally complete. The argument is proof-theoretical.

Citation

Download Citation

Tomasz Kowalski. "BCK is not Structurally Complete." Notre Dame J. Formal Logic 55 (2) 197 - 204, 2014. https://doi.org/10.1215/00294527-2420642

Information

Published: 2014
First available in Project Euclid: 24 April 2014

zbMATH: 1327.03017
MathSciNet: MR3201832
Digital Object Identifier: 10.1215/00294527-2420642

Subjects:
Primary: 03B47
Secondary: 03F07, 06F35

Rights: Copyright © 2014 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.55 • No. 2 • 2014
Back to Top