Relational Models for the Lambek Calculus with Intersection and Unit

von Kuznetsov, Stepan L.
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs

von Kuznetsov, Stepan L.
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Complexity of the Lambek Calculus and Its Extensions

von Kuznetsov, Stepan L.
Veröffentlicht in LACompLing (2021 : Online) Logic and algorithms in computational linguistics 2021 (LACompLing2021) (2023)

Decidable Fragments of Calculi Used in CatLog

von Kanovich, Max I.
Veröffentlicht in NLPinAI (2021 : Online) Natural Language Processing in Artificial Intelligence – NLPinAI 2021 (2022)

Non-associative, Non-commutative Multi-modal Linear Logic

von Blaisdell, Eben
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)