Combinator logics

DOI10.1023/B:STUD.0000027466.68014.52MaRDI QIDQ1826366zbMATH OpenOpenAlexFDO

Authors 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

combinatory logicsubstructural logicsfusionresiduationrelevant 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)

Recommendations

• Combinatory logic and the semantics of substructural logics
• Combinators and structurally free logic
• Two extensions of the structurally free logic LC
• The Logic of Calculation
• Ternary relations and relevant semantics

Cited in

(17)

• Investigation into combinatory systems with dual combinators
• A foray into combinatory logic
• scientific article; zbMATH DE number 5667200 (Why is no real title available?)
• scientific article; zbMATH DE number 5722460 (Why is no real title available?)
• A basis result in combinatory logic
• Ternary relations and relevant semantics
• scientific article; zbMATH DE number 6157246 (Why is no real title available?)
• Admissibility of cut in LC with fixed point combinator
• Compact bracket abstraction in combinatory logic
• scientific article; zbMATH DE number 1159511 (Why is no real title available?)
• scientific article; zbMATH DE number 4083581 (Why is no real title available?)
• scientific article; zbMATH DE number 2209447 (Why is no real title available?)
• Classical combinatory logic
• The Logic of Calculation
• Combinatory logic and the semantics of substructural logics
• Semantics for structurally free logics LC+
• scientific article; zbMATH DE number 2038177 (Why is no real title available?)

This page was built for publication: Combinator logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1826366)