Skip to main content
SpringerLink
Log in

Extending the Lambek Calculus with Classical Negation

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Buszkowski, W., Categorial grammars with negative information, in H. Wansing, (ed.), Negation. A Notion in Focus, De Gruyter, Berlin, 1996, pp. 107–126.

  2. de Groote, Ph., and F. Lamarche., Classical non-associative Lambek calculus., Studia Logica, 71:355–388, 2002.

    Article  Google Scholar 

  3. 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.

    Article  Google Scholar 

  4. Kaminski, M. and N. Francez, Relational semantics of the Lambek calculus extended with classical propositional logic., Studia Logica 102:479–497, 2014.

    Article  Google Scholar 

  5. Kőnig, D., Sur les correspondences multivoques des ensembles, Fundamenta Mathematicae 8:114–134, 1926.

    Article  Google Scholar 

  6. 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.

  7. 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.

  8. Wansing, H., A note on negation in categorial grammar, Logic Journal of the IGPL 15:271–286, 2007.

    Article  Google Scholar 

Download references

Acknowledgements

The author is grateful to Wojciech Buszkowski for his comments on the first version of this paper.

Author information

Authors and Affiliations

  1. Department of Computer Science, Technion – Israel Institute of Technology, 3200003, Haifa, Israel

    Michael Kaminski

Authors
  1. Michael Kaminski
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Kaminski.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-021-09965-y

Keywords

Search

Navigation