Pages that link to "Item:Q5750847"
From MaRDI portal
The following pages link to A comparison between lambek syntactic calculus and intuitionistic linear propositional logic (Q5750847):
Displayed 15 items.
- Language in action (Q1177646) (← links)
- Phase semantics for a pure noncommutative linear propositional logic (Q1288431) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058) (← links)
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)