Abstract
The Lambek calculus (associative and nonassociative) is a basis of a rich family of formal logics: type logics for categorial grammars, substructural logics, linear logics and multi-modal logics. This paper briefly discusses these developments.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Buszkowski, W. (2021). Extensions of Lambek Calculi. In: Casadio, C., Scott, P.J. (eds) Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Outstanding Contributions to Logic, vol 20. Springer, Cham. https://doi.org/10.1007/978-3-030-66545-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-66545-6_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-66544-9
Online ISBN: 978-3-030-66545-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)