On Classical Nonassociative Lambek Calculus-Reference-Cited by-同舟云学术

On Classical Nonassociative Lambek Calculus

Published:2016 Issue: Volume: Page:68-84
ISSN:0302-9743
Container-title:Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
language:
Short-container-title:

Author:

Buszkowski Wojciech

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-53826-5_5

Reference15 articles.

1. Abrusci, V.M.: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. J. Symb. Log. 56, 1403–1451 (1991)

2. Abrusci, V.M.: Classical conservative extensions of Lambek calculus. Stud. Logica. 71, 277–314 (2002)

3. Buszkowski, W.: Generative capacity of nonassociative Lambek calculus. Bull. Pol. Acad. Sci. Math. 34, 507–516 (1986)

4. Buszkowski, W.: Lambek calculus with nonlogical axioms. In: Casadio, C., Scott, P.J., Seely, R. (eds.) Language and Grammar. Studies in Mathematical Linguistics and Natural Language, pp. 77–93. CSLI Publications, Stanford (2005)

5. Buszkowski, W.: Interpolation and FEP for logics of residuated algebras. Log. J. IGPL 19, 437–454 (2011)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sequent Systems for Consequence Relations of Cyclic Linear Logics;Bulletin of the Section of Logic;2024-04-24

2. Explorations in Subexponential Non-associative Non-commutative Linear Logic;Electronic Proceedings in Theoretical Computer Science;2023-08-07

3. Lambek Calculus with Classical Logic;Studies in Computational Intelligence;2021

4. On Involutive Nonassociative Lambek Calculus;Journal of Logic, Language and Information;2019-01-03