Studia Logica 109 (3):447-470 (2021)

Igor Sedlár
Czech Academy of Sciences
Andrew Tedder
Czech Academy of Sciences
We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to tackle. We prove completeness for some of its fragments and establish that it is decidable. Completeness of the logic is an open problem; some difficulties with applying the usual proof method are discussed.
Keywords Lambek Calculus  Relational Semantics
Categories (categorize this paper)
DOI 10.1007/s11225-020-09913-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,750
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Models for Entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
Semantics for Relevant Logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
A Plea for KR.Alison Duncan Kerr - 2019 - Synthese 198 (4):3047-3071.

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.
The Lambek Calculus Enriched with Additional Connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
A Note on the Lambek-van Benthem Calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Full Lambek Calculus in Natural Deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.
A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Product-Free Lambek Calculus and Context-Free Grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
Dialectica Categories for the Lambek Calculus.Valeria Correa Vaz De Paiva & Harley Eades Iii - 2018 - In Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2018). Deerfield Beach, FL, USA:


Added to PP index

Total views
4 ( #1,228,141 of 2,438,682 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,682 )

How can I increase my downloads?


My notes