| Publication | Date of Publication | Type |
|---|
The logic of action lattices is undecidable
| 2024-12-19 | Paper |
Reasoning in commutative Kleene algebras from \(^\star\)-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 |
scientific article; zbMATH DE number 7585726 (Why is no real title available?)
| 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
| 2020-07-31 | Paper |
scientific article; zbMATH DE number 7204441 (Why is no real title available?)
| 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
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
| 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
| 2017-12-20 | Paper |
Conjunctive categorial grammars
| 2017-12-18 | Paper |
Count-invariance including exponentials
| 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
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
| 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 |
