BCK and BCI logics, condensed detachment and the 2-property
type: Item
instance of: scholarly article
title: BCK and BCI logics, condensed detachment and the 2-property
zbMATH Open document ID: 0787.03010
author: J. Roger Hindley
published in: Notre Dame Journal of Formal Logic
publication date: 1993-12-06T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 469218
zbMATH Keywords: BCK logic
zbMATH Keywords: BCI logic
zbMATH Keywords: implicational logics
zbMATH Keywords: condensed detachment
zbMATH Keywords: combinators
zbMATH Keywords: lambda-calculus
reviewed by: Martin W. Bunder
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093634655
OpenAlex ID: W2051725120
DOI: 10.1305/NDJFL/1093634655
description: scientific article; zbMATH DE number 469218