The following pages link to Stepan Kuznetsov (Q1679986):
Displayed 50 items.
- (Q511444) (redirect page) (← links)
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- On translating context-free grammars into Lambek grammars (Q902051) (← links)
- Undecidability of the Lambek calculus with subexponential and bracket modalities (Q1679987) (← links)
- The Lambek calculus with iteration: two variants (Q1685925) (← links)
- A logical framework with commutative and non-commutative subexponentials (Q1799082) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential (Q2037977) (← links)
- Complexity of commutative infinitary action logic (Q2055761) (← links)
- Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- The complexity of multiplicative-additive Lambek calculus: 25 years later (Q2303602) (← links)
- L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit (Q2303603) (← links)
- Lambek calculus with one division and one primitive type permitting empty antecedents (Q2513062) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058) (← links)
- Lambek grammars with one division and one primitive type (Q2903756) (← links)
- Lambek Grammars with the Unit (Q3167313) (← links)
- Trivalent logics arising from L-models for the Lambek calculus with constants (Q4583347) (← links)
- (Q4599224) (← links)
- (Q4599225) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5104719) (← links)
- Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities (Q5108024) (← links)
- (Q5111318) (← links)
- (Q5224583) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)
- Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives (Q5327384) (← links)
- Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents (Q5414969) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Commutative action logic (Q6189212) (← links)
- Undecidability of a newly proposed calculus for CatLog3 (Q6190196) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities (Q6276300) (← links)
- Eliminating the unit constant in the Lambek calculus with brackets (Q6294080) (← links)
- Action Logic is Undecidable (Q6331740) (← links)
- Infinitary Action Logic with Exponentiation (Q6333136) (← links)
- Complexity of the Infinitary Lambek Calculus with Kleene Star (Q6339828) (← links)
- Language Models for Some Extensions of the Lambek Calculus (Q6346272) (← links)