Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
Journal of Logic, Language and Information 30 (1):89-89 (2021)
Abstract
In the original publication, the affiliation of the author Max Kanovich was processed incorrectly. It has been updated in this correction.My notes
Similar books and articles
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.Max Kanovich, Stepan Kuznetsov & Andre Scedrov - 2020 - Journal of Logic, Language and Information 30 (1):31-88.
Complexity of the Infinitary Lambek Calculus with Kleene Star.Stepan Kuznetsov - 2021 - Review of Symbolic Logic 14 (4):946-972.
On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.
The undecidability of second order linear logic without exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
Reaction and control I. Mixing additive and multiplicative network algebras.G. Stefanescu - 1998 - Logic Journal of the IGPL 6 (2):349-368.
Dialectica Categories for the Lambek Calculus.Valeria Correa Vaz De Paiva & Harley Eades Iii - 2018 - In Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2018). Deerfield Beach, FL, USA:
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.Denis Béchet - 2007 - Studia Logica 87 (2-3):199-224.
A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Analytics
Added to PP
2020-12-10
Downloads
3 (#1,316,028)
6 months
2 (#301,800)
2020-12-10
Downloads
3 (#1,316,028)
6 months
2 (#301,800)
Historical graph of downloads
