Abstract
We present an axiomatization of the non-associative Lambek calculus extended with classical negation for which the frame semantics with the classical interpretation of negation is sound and complete.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Buszkowski, W., Categorial grammars with negative information, in H. Wansing, (ed.), Negation. A Notion in Focus, De Gruyter, Berlin, 1996, pp. 107–126.
de Groote, Ph., and F. Lamarche., Classical non-associative Lambek calculus., Studia Logica, 71:355–388, 2002.
Došen, K., A brief survey of frames for the Lambek calculus., Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38:179–187, 1992.
Kaminski, M. and N. Francez, Relational semantics of the Lambek calculus extended with classical propositional logic., Studia Logica 102:479–497, 2014.
Kőnig, D., Sur les correspondences multivoques des ensembles, Fundamenta Mathematicae 8:114–134, 1926.
Lambek, J., The mathematics of sentence structure, American Mathematical Monthly 65:154–170, 1958; also in W. Buszkowski, W. Marciszewski, and J. van Benthem, (eds.), Categorial Grammars, John Benjamins, Amsterdam, 1988, pp. 153–172.
Pentus, M., Lambek calculus and formal grammars, in Provability, Complexity, Grammars, volume 192 of American Mathematical Society Translations: Series 2. American Mathematical Society, Providence, RI, 1999, pp. 57–86.
Wansing, H., A note on negation in categorial grammar, Logic Journal of the IGPL 15:271–286, 2007.
Acknowledgements
The author is grateful to Wojciech Buszkowski for his comments on the first version of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Heinrich Wansing
Rights and permissions
About this article
Cite this article
Kaminski, M. Extending the Lambek Calculus with Classical Negation. Stud Logica 110, 295–317 (2022). https://doi.org/10.1007/s11225-021-09965-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-021-09965-y