Combinator logics

DOI10.1023/B:STUD.0000027466.68014.52zbMATH Open1054.03019OpenAlexW4210858792MaRDI QIDQ1826366FDOQ1826366

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

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

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)

Cited In (17)

• Investigation into combinatory systems with dual combinators
• A foray into combinatory logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A basis result in combinatory logic
• Title not available (Why is that?)
• Ternary relations and relevant semantics
• Admissibility of cut in LC with fixed point combinator
• Compact bracket abstraction in combinatory logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical combinatory logic
• The Logic of Calculation
• Combinatory logic and the semantics of substructural logics
• Semantics for structurally free logics LC+
• Title not available (Why is that?)

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)