Pages that link to "Item:Q4353718"
From MaRDI portal
The following pages link to Combinators and structurally free logic (Q4353718):
Displayed 24 items.
- Current trends in substructural logics (Q266641) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Admissibility of cut in LC with fixed point combinator (Q817697) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- On structural features of the implication fragment of Frege's \textit{Grundgesetze} (Q2409390) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- The Relevance of Relevance to Relevance Logic (Q2937386) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- Tracking Information (Q3305434) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- 1998 Spring Meeting of the Association for Symbolic Logic (Q4212937) (← links)
- Australasian Association for Logic 1997 Annual Conference (Q4254570) (← links)
- The Church-Rosser property in dual combinatory logic (Q4457728) (← links)
- Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic (Q4508285) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- The Church-Rosser property in symmetric combinatory logic (Q5718674) (← links)