Semantics for dual and symmetric combinatory calculi
From MaRDI portal
Publication:1826434
DOI10.1023/B:LOGI.0000021709.73522.34zbMath1054.03012MaRDI QIDQ1826434
Publication date: 6 August 2004
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
operational semantics; equational logic; algebraic semantics; Kripke semantics; \(\lambda\)-calculus; combinators; combinatory logic; dual combinators; inequational logic
03B40: Combinatory logic and lambda calculus
Related Items
The Church-Rosser property in symmetric combinatory logic, Relational semantics for Kleene logic and action logic, Combinatory logic and the semantics of substructural logics
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item