Publication:4218026

zbMath0920.03013MaRDI QIDQ4218026

Martin W. Bunder

Publication date: 11 November 1998

zbMATH Keywords

substructural logic; implication; condensed detachment; BCI implicational logic

Mathematics Subject Classification ID

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03B20: Subsystems of classical logic (including intuitionistic logic)

03B40: Combinatory logic and lambda calculus