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

DOI10.1305/NDJFL/1093634655zbMATH Open0787.03010OpenAlexW2051725120MaRDI QIDQ1309333FDOQ1309333

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1222495
• scientific article
• scientific article; zbMATH DE number 3916223
• The finite model property for BCK and BCIW
• scientific article; zbMATH DE number 638618

zbMATH Keywords

lambda-calculusimplicational logicscombinatorscondensed detachmentBCI logicBCK logic

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Principal types of BCK-lambda-terms
• KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
• Principal type-schemes of BCI-lambda-terms
• Proof finding algorithms for implicational logics
• Replacement in logic
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• The two-property and condensed detachment
• On the number of unary-binary tree-like structures with restrictions on the unary height
• Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
• Self-implications in BCI

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1309333)