Author:
Kuznetsov S. L.,Ryzhkova N. S.
Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. J. Lambek, “The mathematics of sentence structure,” Am. Math. Mon., 65, 154-170 (1958).
2. G. Takeuti, Proof Theory, Stud. Log. Found. Math., 81, Elsevier, New York (1975).
3. V. M. Abrusci, “A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic,” Z. Math Log. Grund. Math., 36, No. 1, 11-15 (1990).
4. J.-Y. Girard, “Linear logic,” Theor. Comput. Sci., 50, No. 1, 1-102 (1987).
5. K. Ajdukiewicz, “Die syntaktische Konnexit¨at,” Stud. Philos., 1, 1-27 (1935).
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Syntactic Concept Lattice Models for Infinitary Action Logic;Lecture Notes in Computer Science;2024
2. Relational Models for the Lambek Calculus with Intersection and Constants;Logical Methods in Computer Science;2023-12-18
3. Complexity of the Lambek Calculus and Its Extensions;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
4. Commutative action logic;Journal of Logic and Computation;2022-03-24
5. Relational Models for the Lambek Calculus with Intersection and Unit;Relational and Algebraic Methods in Computer Science;2021