Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference53 articles.
1. Ajdukiewicz, K. (1935). Die syntaktische Konnexität. Studia Philosophica, 1, 1–27. Translated in Storrs McCall (Eds.) (1967). Polish logic: 1920–1939 (pp. 207–231). Oxford: Oxford University Press.
2. Andreoli, J.-M. (1992). Logic programming with focusing in linear logic. Journal of Logic and Computation, 2(3), 297–347.
3. Bar-Hillel, Y. (1953). A quasi-arithmetical notation for syntactic description. Language, 29, 47–58.
4. Buszkowski, W. (2007). On action logic: Equational theories of action algebras. Journal of Logic and Computation, 17(1), 199–217.
5. Buszkowski, W., & Palka, E. (2008). Infinitary action logic: Complexity, models and grammars. Studia Logica, 89(1), 1–18.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Explorations in Subexponential Non-associative Non-commutative Linear Logic;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. Diamonds Are Forever;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
3. Complexity of the Lambek Calculus and Its Extensions;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
4. Non-associative, Non-commutative Multi-modal Linear Logic;Automated Reasoning;2022
5. Decidable Fragments of Calculi Used in CatLog;Studies in Computational Intelligence;2021-11-02