BCK and BCI logics, condensed detachment and the 2-property (Q1309333): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Martin W. Bunder / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Martin W. Bunder / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093634655 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2051725120 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Revision as of 22:48, 19 March 2024
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
