On the role of implication in formal logic

DOI10.2307/2586689zbMath0976.03015OpenAlexW2163037973MaRDI QIDQ4527912

Jonathan P. Seldin

Publication date: 29 January 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586689

zbMATH Keywords

cut eliminationnormalizationlambda calculuscombinatory logiccomprehension principleBCK-implicationBCK-set theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Cites Work

• Combinatory logic. Vol. II
• A second paper “On the interpolation theorem for the logic of constant domains”
• Unnamed Item
• Unnamed Item

This page was built for publication: On the role of implication in formal logic