@incollection(Drewes97, author = {Frank Drewes and Hans{-}J{\"{o}}rg Kreowski and Annegret Habel}, year = {1997}, title = {Hyperedge Replacement Graph Grammars}, editor = {Grzegorz Rozenberg}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher = {World Scientific}, pages = {95--162}, doi = {10.1142/9789812384720\_0002}, ) @inproceedings(EhrigPS73, author = {Hartmut Ehrig and Michael Pfender and Hans J{\"{u}}rgen Schneider}, year = {1973}, title = {Graph-Grammars: An Algebraic Approach}, booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973}, publisher = {{IEEE} Computer Society}, pages = {167--180}, doi = {10.1109/SWAT.1973.11}, ) @article(Kanazawa92, author = {Makoto Kanazawa}, year = {1992}, title = {The Lambek calculus enriched with additional connectives}, journal = {J. Log. Lang. Inf.}, volume = {1}, number = {2}, pages = {141--171}, doi = {10.1007/BF00171695}, ) @incollection(Kanazawa99, author = {Makoto Kanazawa}, year = {1999}, title = {Lambek {C}alculus: {R}ecognizing {P}ower and {C}omplexity}, editor = {Jelle Gerbrandy and Maarten Marx and Maarten de Rijke and Yde Venema}, booktitle = {Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday}, publisher = {Amsterdam University Press}, ) @inproceedings(KanovichKNS20, author = {Max I. Kanovich and Stepan L. Kuznetsov and Vivek Nigam and Andre Scedrov}, year = {2020}, title = {Soft Subexponentials and Multiplexing}, booktitle = {{IJCAR} {(1)}}, series = {Lecture Notes in Computer Science}, volume = {12166}, publisher = {Springer}, pages = {500--517}, doi = {10.1007/978-3-030-51074-9\_29}, ) @inproceedings(Konig18, author = {Barbara K{\"{o}}nig and Dennis Nolte and Julia Padberg and Arend Rensink}, year = {2018}, title = {A Tutorial on Graph Transformation}, editor = {Reiko Heckel and Gabriele Taentzer}, booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, series = {Lecture Notes in Computer Science}, volume = {10800}, publisher = {Springer}, pages = {83--104}, doi = {10.1007/978-3-319-75396-6\_5}, ) @article(Kuznetsov21, author = {Stepan L. Kuznetsov}, year = {2021}, title = {Complexity of the Infinitary Lambek Calculus with Kleene Star}, journal = {Rev. Symb. Log.}, volume = {14}, number = {4}, pages = {946--972}, doi = {10.1017/S1755020320000209}, ) @article(Lambek58, author = {Joachim Lambek}, year = {1958}, title = {The Mathematics of Sentence Structure}, journal = {The American Mathematical Monthly}, volume = {65}, number = {3}, pages = {154--170}, doi = {10.1080/00029890.1958.11989160}, ) @article(LincolnMSS92, author = {Patrick Lincoln and John C. Mitchell and Andre Scedrov and Natarajan Shankar}, year = {1992}, title = {Decision Problems for Propositional Linear Logic}, journal = {Ann. Pure Appl. Log.}, volume = {56}, number = {1-3}, pages = {239--311}, doi = {10.1016/0168-0072(92)90075-B}, ) @article(Montagna04, author = {Franco Montagna}, year = {2004}, title = {Storage Operators and Multiplicative Quantifiers in Many-valued Logics}, journal = {J. Log. Comput.}, volume = {14}, number = {2}, pages = {299--322}, doi = {10.1093/logcom/14.2.299}, ) @article(MootP01, author = {Richard Moot and Mario Piazza}, year = {2001}, title = {Linguistic Applications of First Order Intuitionistic Linear Logic}, journal = {J. Log. Lang. Inf.}, volume = {10}, number = {2}, pages = {211--232}, doi = {10.1023/A:1008399708659}, ) @article(Palka07, author = {Ewa Palka}, year = {2007}, title = {An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices}, journal = {Fundam. Informaticae}, volume = {78}, number = {2}, pages = {295--309}, ) @inproceedings(Pshenitsyn21_2, author = {Tikhon Pshenitsyn}, year = {2021}, title = {Grammars Based on a Logic of Hypergraph Languages}, editor = {Berthold Hoffmann and Mark Minas}, booktitle = {Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021}, series = {{EPTCS}}, volume = {350}, pages = {1--18}, doi = {10.4204/EPTCS.350.1}, ) @misc(Pshenitsyn22_preprint, author = {Tikhon Pshenitsyn}, year = {2022}, title = {Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States}, doi = {10.48550/ARXIV.2209.08415}, url = {https://arxiv.org/abs/2209.08415}, ) @article(Pshenitsyn22, author = {Tikhon Pshenitsyn}, year = {2022}, title = {Hypergraph Lambek grammars}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {129}, pages = {100798}, doi = {10.1016/j.jlamp.2022.100798}, )