| Publication | Date of Publication | Type |
|---|
| Complexity of equational theories for relational and language action lattices | 2026-06-23 | Paper |
Algorithmic complexity of theories with Kleene iteration
Russian Mathematical Surveys | 2026-06-16 | Paper |
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
Journal of Logic and Computation | 2026-02-25 | Paper |
Relational models for the Lambek calculus with local contraction subexponentials
Journal of Logic and Computation | 2025-10-29 | Paper |
Chair of Mathematical Logic and Theory of Algorithms
Moscow University Mathematics Bulletin | 2025-07-11 | Paper |
| Syntactic concept lattice models for infinitary action logic | 2025-01-31 | Paper |
| The logic of action lattices is undecidable | 2024-12-19 | Paper |
| Reasoning in commutative Kleene algebras from ^-free hypotheses | 2024-11-20 | Paper |
| On the complexity of reasoning in Kleene algebra with commutativity conditions | 2024-09-13 | Paper |
Algorithmic complexity for theories of commutative Kleene algebras
Izvestiya: Mathematics | 2024-04-25 | Paper |
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Electronic Proceedings in Theoretical Computer Science | 2024-03-14 | Paper |
Commutative action logic
Journal Of Logic And Computation | 2024-02-08 | Paper |
Undecidability of a newly proposed calculus for CatLog3
Formal Grammar | 2024-02-06 | Paper |
Relational Models for the Lambek Calculus with Intersection and Constants
Logical Methods in Computer Science | 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
Formal Grammar 2018 | 2023-06-12 | Paper |
Infinitary action logic with multiplexing
Studia Logica | 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 |
| The `long rule' in the Lambek calculus with iteration: undecidability without meets and joins | 2022-09-15 | Paper |
Language models for some extensions of the Lambek calculus
Information and Computation | 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
The Review of Symbolic Logic | 2022-02-07 | Paper |
Infinitary action logic with exponentiation
Annals of Pure and Applied Logic | 2022-01-18 | Paper |
Complexity of Lambek calculi with modalities and of total derivability in grammars
Algebra and Logic | 2022-01-13 | Paper |
| Complexity of commutative infinitary action logic | 2021-12-01 | Paper |
Kleene star, subexponentials without contraction, and infinite computations
Sibirskie Elektronnye Matematicheskie Izvestiya | 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
Journal of Logic, Language and Information | 2021-06-25 | Paper |
A restricted fragment of the Lambek calculus with iteration and intersection operations
Algebra and Logic | 2020-12-03 | Paper |
Language Models for Some Extensions of the Lambek Calculus
(available as arXiv preprint) | 2020-07-31 | Paper |
scientific article; zbMATH DE number 7204441 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-26 | Paper |
Complexity of the Infinitary Lambek Calculus with Kleene Star
(available as arXiv preprint) | 2020-05-01 | Paper |
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
Journal Of Logic And Computation | 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
(available as arXiv preprint) | 2020-01-19 | Paper |
| Action Logic is Undecidable | 2019-12-24 | Paper |
Subexponentials in non-commutative linear logic
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
| *-continuity vs. induction: divide and conquer | 2019-07-24 | Paper |
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
Logic Journal of the IGPL | 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
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
The Lambek calculus with iteration: two variants
(available as arXiv preprint) | 2017-12-20 | Paper |
| Count-invariance including exponentials | 2017-12-18 | Paper |
| Conjunctive categorial grammars | 2017-12-18 | Paper |
Undecidability of the Lambek calculus with subexponential and bracket modalities
(available as arXiv preprint) | 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
Logical Foundations of Computer Science | 2017-07-21 | Paper |
On translating Lambek grammars with one division into context-free grammars
Proceedings of the Steklov Institute of Mathematics | 2017-02-15 | Paper |
Undecidability of the Lambek calculus with a relevant modality
Formal Grammar | 2016-12-01 | Paper |
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
(available as arXiv preprint) | 2016-08-07 | Paper |
On translating context-free grammars into Lambek grammars
Proceedings of the Steklov Institute of Mathematics | 2016-01-07 | Paper |
Lambek calculus with one division and one primitive type permitting empty antecedents
Moscow University Mathematics Bulletin | 2015-02-02 | Paper |
L-Completeness of the Lambek Calculus with the Reversal Operation
Logical Aspects of Computational Linguistics | 2014-06-24 | Paper |
L-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
Formal Grammar | 2013-08-07 | Paper |
Lambek grammars with the unit
Formal Grammar | 2012-11-02 | Paper |
Lambek grammars with one division and one primitive type
Logic Journal of the IGPL | 2012-08-01 | Paper |
