Pages that link to "Item:Q1826434"
From MaRDI portal
The following pages link to Semantics for dual and symmetric combinatory calculi (Q1826434):
Displaying 8 items.
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Investigation into combinatory systems with dual combinators (Q1595916) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- Syntactic characterizations of completeness using duals and operators (Q2903761) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- Combinators and structurally free logic (Q4353718) (← links)
- The Church-Rosser property in dual combinatory logic (Q4457728) (← links)
- The Church-Rosser property in symmetric combinatory logic (Q5718674) (← links)