Pages that link to "Item:Q1188935"
From MaRDI portal
The following pages link to Language in action. Categories, lambdas and dynamic logic (Q1188935):
Displaying 18 items.
- Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars (Q4835525) (← links)
- A fugue on the themes of awareness logic and correspondence (Q4881433) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- Logic and Complexity in Cognitive Science (Q5249690) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- The Monotone Lambek Calculus Is NP-Complete (Q5414974) (← links)
- Which structural rules admit cut elimination? An algebraic criterion (Q5422301) (← links)
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
