Combinator logics

DOI10.1023/B:STUD.0000027466.68014.52zbMath1054.03019OpenAlexW4210858792MaRDI QIDQ1826366

Louis F. Goble

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000027466.68014.52

zbMATH Keywords

substructural logicsfusioncombinatory logicresiduationrelevant logics

Mathematics Subject Classification ID

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

Related Items (2)

Combinatory logic and the semantics of substructural logics ⋮ Admissibility of cut in LC with fixed point combinator

This page was built for publication: Combinator logics