Found 19 Documents (Results 1–19)
Extensions of Lambek calculi. (English) Zbl 1500.03008
Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 105-134 (2021).
Reviewer: Hirokazu Nishimura (Tsukuba)
Residuated algebraic structures in the vicinity of pre-rough algebra and decidability. (English) Zbl 1537.03089
The multiplicative-additive Lambek calculus with subexponential and bracket modalities. (English) Zbl 1496.03087
Categorial grammars and their logics. (English) Zbl 1522.03096
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 91-115 (2018).
On Lambek’s restriction in the presence of exponential modalities. (English) Zbl 1476.03026
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 146-158 (2016).
Undecidability of the Lambek calculus with a relevant modality. (English) Zbl 1478.03043
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 240-256 (2016).
Undecidability of consequence relation in full non-associative Lambek calculus. (English) Zbl 1373.03025
Relational semantics of the Lambek calculus extended with classical propositional logic. (English) Zbl 1322.03018
Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań)
On associative Lambek calculus extended with basic proper axioms. (English) Zbl 1285.03014
Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 172-187 (2014).
MSC:
03B47
The displacement calculus. (English) Zbl 1233.03035
Type logics and pregroups. (English) Zbl 1134.03014
Reviewer: Osamu Sonobe (Follonica)
On finite models of the Lambek calculus. (English) Zbl 1092.03011
Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań)
MSC:
03B47
Algebraic structures in categorial grammar. (English) Zbl 0902.68108
MSC:
68Q42
Models for the Lambek calculus. (English) Zbl 0829.03022
MSC:
03C90
Filter Results by …
Document Type
- Journal Articles (14)
- Collection Articles (5)
all
top 5
Author
- Buszkowski, Wojciech (5)
- Kuznetsov, Stepan L’vovich (5)
- Kanovich, Max Iosifovich (4)
- Ščedrov, Andrej (4)
- Francez, Nissim (2)
- Kaminski, Michael (2)
- Chakraborty, Mihir Kumar (1)
- Chvalovský, Karel (1)
- Fadda, Mario (1)
- Farulewski, Maciej (1)
- Foret, Annie (1)
- Lin, Zhe (1)
- Ma, Minghui (1)
- Moot, Richard (1)
- Morrill, Glyn V. (1)
- Nigam, Vivek (1)
- Pentus, Mati (1)
- Stevens-Guille, Symon Jory (1)
- Valentín, Oriol (1)
all
top 5
Serial
- Stud. Log. (4)
- J. Logic Lang. Inf. (4)
- J. Symb. Log. (1)
- Theor. Comput. Sci. (1)
- Ann. Pure Appl. Logic (1)
- Math. Struct. Comput. Sci. (1)
- Fundam. Inform. (1)
- Rev. Symb. Log. (1)