Semantics for dual and symmetric combinatory calculi

DOI10.1023/B:LOGI.0000021709.73522.34zbMath1054.03012MaRDI QIDQ1826434

Katalin Bimbó

Publication date: 6 August 2004

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

operational semanticsequational logicalgebraic semanticsKripke semantics\(\lambda\)-calculuscombinatorscombinatory logicdual combinatorsinequational logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (4)

Combinatory logic and the semantics of substructural logics ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ The Church-Rosser property in symmetric combinatory logic ⋮ Relational semantics for Kleene logic and action logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• Algebras and combinators
• The semantics of entailment. II
• Varieties of ordered algebras
• Investigation into combinatory systems with dual combinators
• A symmetric lambda calculus for classical program extraction
• Combinatory logic. Vol. II
• Combinators and structurally free logic
• The Church-Rosser property in dual combinatory logic

This page was built for publication: Semantics for dual and symmetric combinatory calculi