Publication:4218026
From MaRDI portal
zbMath0920.03013MaRDI QIDQ4218026
Publication date: 11 November 1998
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