The following pages link to Stepan Kuznetsov (Q1679986):
Displaying 49 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)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Commutative action logic (Q6189212) (← 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)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
- On the complexity of reasoning in Kleene algebra with commutativity conditions (Q6605343) (← links)
- Reasoning in commutative Kleene algebras from \(^\star\)-free hypotheses (Q6641534) (← links)
- The logic of action lattices is undecidable (Q6654470) (← links)
- Conjunctive categorial grammars and Lambek grammars with additives (Q6730177) (← links)
- Reasoning from hypotheses in *-continuous action lattices (Q6739271) (← links)
