×

Found 13 Documents (Results 1–13)

On classical nonassociative Lambek calculus. (English) Zbl 1480.03011

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 68-84 (2016).
MSC:  03B47 03B65
PDFBibTeX XMLCite
Full Text: DOI

Some syntactic interpretations in different systems of full Lambek calculus. (English) Zbl 1429.03089

Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 23-48 (2015).
MSC:  03B47 03F25 03F52
PDFBibTeX XMLCite
Full Text: DOI

Multi-sorted residuation. (English) Zbl 1285.03013

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, 136-155 (2014).
MSC:  03B47 03G25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field