Stepan Kuznetsov

Available identifiers

zbMath Open kuznetsov.s-lMaRDI QIDQ1679986

List of research outcomes

Publication	Date of Publication	Type
Explorations in Subexponential Non-associative Non-commutative Linear Logic	2024-03-14	Paper
Commutative action logic	2024-02-08	Paper
Undecidability of a newly proposed calculus for CatLog3	2024-02-06	Paper
Relational Models for the Lambek Calculus with Intersection and Constants	2024-01-16	Paper
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)	2023-07-06	Paper
Bracket induction for Lambek calculus with bracket modalities	2023-06-12	Paper
Infinitary action logic with multiplexing	2023-04-21	Paper
Relational models for the Lambek calculus with intersection and unit	2023-03-30	Paper
Non-associative, non-commutative multi-modal linear logic	2022-12-07	Paper
Soft subexponentials and multiplexing	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5104719	2022-09-15	Paper
Language models for some extensions of the Lambek calculus	2022-06-13	Paper
Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs	2022-05-25	Paper
COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR	2022-02-07	Paper
Infinitary action logic with exponentiation	2022-01-18	Paper
Complexity of Lambek calculi with modalities and of total derivability in grammars	2022-01-13	Paper
Complexity of commutative infinitary action logic	2021-12-01	Paper
Kleene star, subexponentials without contraction, and infinite computations	2021-10-19	Paper
A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential	2021-07-08	Paper
The multiplicative-additive Lambek calculus with subexponential and bracket modalities	2021-06-25	Paper
A restricted fragment of the Lambek calculus with iteration and intersection operations	2020-12-03	Paper
Language Models for Some Extensions of the Lambek Calculus	2020-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q5111318	2020-05-26	Paper
Complexity of the Infinitary Lambek Calculus with Kleene Star	2020-05-01	Paper
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities	2020-04-29	Paper
The complexity of multiplicative-additive Lambek calculus: 25 years later	2020-03-04	Paper
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit	2020-03-04	Paper
Infinitary Action Logic with Exponentiation	2020-01-19	Paper
Action Logic is Undecidable	2019-12-24	Paper
Subexponentials in non-commutative linear logic	2019-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q5224583	2019-07-24	Paper
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments	2019-06-18	Paper
A logical framework with commutative and non-commutative subexponentials	2018-10-18	Paper
Trivalent logics arising from L-models for the Lambek calculus with constants	2018-08-28	Paper
The Lambek calculus with iteration: two variants	2017-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4599224	2017-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4599225	2017-12-18	Paper
Undecidability of the Lambek calculus with subexponential and bracket modalities	2017-11-22	Paper
Eliminating the unit constant in the Lambek calculus with brackets	2017-11-16	Paper
On Lambek’s Restriction in the Presence of Exponential Modalities	2017-07-21	Paper
On translating Lambek grammars with one division into context-free grammars	2017-02-15	Paper
Undecidability of the Lambek Calculus with a Relevant Modality	2016-12-01	Paper
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities	2016-08-07	Paper
On translating context-free grammars into Lambek grammars	2016-01-07	Paper
Lambek calculus with one division and one primitive type permitting empty antecedents	2015-02-02	Paper
L-Completeness of the Lambek Calculus with the Reversal Operation	2014-06-24	Paper
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents	2014-05-08	Paper
Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives	2013-08-07	Paper
Lambek Grammars with the Unit	2012-11-02	Paper
Lambek grammars with one division and one primitive type	2012-08-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stepan Kuznetsov