Scedrov Andre

Publications in Math-Net.Ru

1. Explorations in subexponential non-associative non-commutative linear logic
   
   Electron. Proc. Theor. Comput. Sci., 381 (2023),  4–19
2. Language models for some extensions of the Lambek calculus
   
   Inform. and Comput., 287 (2022),  104760–16
3. Non-associative, Non-commutative Multi-modal Linear Logic
   
   Lecture Notes in Comput. Sci., 13385 (2022),  449–467
4. Decidable fragments of calculi used in CatLog
   
   Stud. Comput. Intell., 999 (2022),  1–24
5. The multiplicative-additive Lambek calculus with subexponential and bracket modalities
   
   J. Logic Lang. Inf., 30 (2021),  31–88
6. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
   
   J. Logic Comput., 30:1 (2020),  239–256
7. Soft subexponentials and multiplexing
   
   Lecture Notes in Comput. Sci., 12166 (2020),  500–517
8. Undecidability of a Newly Proposed Calculus for CatLog3
   
   Lecture Notes in Comput. Sci., 11668 (2019),  67–83
9. L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
   
   Lecture Notes in Comput. Sci., 11541 (2019),  373–391
10. The complexity of multiplicative-additive Lambek calculus: 25 years later
    
    Lecture Notes in Comput. Sci., 11541 (2019),  356–372
11. Subexponentials in non-commutative linear logic
    
    Math. Structures Comput. Sci., 29:8 (2019),  1217–1249
12. Bracket induction for the Lambek calculus with bracket modalities
    
    Lecture Notes in Comput. Sci., 10950 (2018),  84–101
13. A logical framework with commutative and non-commutative subexponentials
    
    Lecture Notes in Comput. Sci., 10900 (2018),  228–245
14. A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
    
    Leibniz Internat. Proc. in Inform., 84:22 (2017),  1–17
15. Undecidability of the Lambek calculus with subexponential and bracket modalities
    
    Lecture Notes in Comput. Sci., 10472 (2017),  326–340
16. Undecidability of the Lambek calculus with a relevant modality
    
    Lecture Notes in Comput. Sci., 9804 (2016),  240–256
17. On Lambek's restriction in the presence of exponential modalities
    
    Lecture Notes in Comput. Sci., 9537 (2016),  146–158