BCK and BCI logics, condensed detachment and the 2-property

DOI10.1305/ndjfl/1093634655zbMath0787.03010OpenAlexW2051725120MaRDI QIDQ1309333

J. Roger Hindley

Publication date: 6 December 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634655

zbMATH Keywords

condensed detachmentcombinatorslambda-calculusimplicational logicsBCI logicBCK logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Principal type-schemes of BCI-lambda-terms ⋮ Replacement in logic ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ Principal types of BCK-lambda-terms ⋮ Proof finding algorithms for implicational logics ⋮ KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES

This page was built for publication: BCK and BCI logics, condensed detachment and the 2-property