BCK and BCI logics, condensed detachment and the 2-property (Q1309333)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | BCK and BCI logics, condensed detachment and the 2-property |
scientific article |
Statements
BCK and BCI logics, condensed detachment and the 2-property (English)
0 references
6 December 1993
0 references
This paper is an interesting summary of results on the implicational logics BCK and BCI and their connections with their condensed logics (logics based on the same axioms but with condensed detachment as sole rule) as well as with combinators and lambda-calculus. Full proofs are given of the 2- and 1-2 properties based on the ideas of S. Jaskowski, for most of the other results literature references are provided.
0 references
BCK logic
0 references
BCI logic
0 references
implicational logics
0 references
condensed detachment
0 references
combinators
0 references
lambda-calculus
0 references
