Found 4 Documents (Results 1–4)
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).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)