| Publication | Date of Publication | Type |
|---|
Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening
Journal of Mathematical Sciences (New York) | 2023-03-06 | Paper |
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
Journal of Mathematical Sciences (New York) | 2022-06-09 | Paper |
Sergei Ivanovich Adian
Russian Mathematical Surveys | 2021-06-04 | Paper |
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
Russian Mathematical Surveys | 2020-03-11 | Paper |
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
(available as arXiv preprint) | 2019-12-08 | Paper |
The atomic theory of division and intersection of semiring ideals
Journal of Mathematical Sciences (New York) | 2018-10-30 | Paper |
The atomic theory of multiplication and division of semiring ideals
Journal of Mathematical Sciences (New York) | 2014-06-04 | Paper |
The monotone Lambek calculus is NP-complete
Lecture Notes in Computer Science | 2014-05-08 | Paper |
The atomic theory of left division of two-sided ideals of semirings with unit
Journal of Mathematical Sciences (New York) | 2013-11-04 | Paper |
| Complexity of the Lambek calculus and its fragments | 2012-08-05 | Paper |
The atomic theory of division of semiring ideals
Journal of Mathematical Sciences (New York) | 2008-10-28 | Paper |
Lambek calculus is NP-complete
Theoretical Computer Science | 2006-08-16 | Paper |
| scientific article; zbMATH DE number 2203309 (Why is no real title available?) | 2005-09-07 | Paper |
| scientific article; zbMATH DE number 1567840 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1567969 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1567954 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1136109 (Why is no real title available?) | 2000-11-20 | Paper |
| scientific article; zbMATH DE number 1341928 (Why is no real title available?) | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1222927 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1297597 (Why is no real title available?) | 1999-06-09 | Paper |
| scientific article; zbMATH DE number 1114352 (Why is no real title available?) | 1998-02-08 | Paper |
Product-free Lambek calculus and context-free grammars
Journal of Symbolic Logic | 1998-02-04 | Paper |
| scientific article; zbMATH DE number 999593 (Why is no real title available?) | 1997-07-01 | Paper |
Models for the Lambek calculus
Annals of Pure and Applied Logic | 1995-10-04 | Paper |
The conjoinability relation in Lambek calculus and linear logic
Journal of Logic, Language and Information | 1994-09-26 | Paper |
