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

DOI10.1305/NDJFL/1093634655MaRDI QIDQ1309333zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(14)

• scientific article; zbMATH DE number 1156786 (Why is no real title available?)
• scientific article; zbMATH DE number 3916223 (Why is no real title available?)
• Principal types of BCK-lambda-terms
• scientific article; zbMATH DE number 638618 (Why is no real title available?)
• Proof finding algorithms for implicational logics
• Principal type-schemes of BCI-lambda-terms
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• 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
• D-complete single axioms for the equivalential calculus with the rules d and r
• Kurt Gödel on logical, theological, and physical antinomies
• 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)