Iterative division in the distributive full non-associative Lambek calculus. (English) Zbl 1496.03093
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 141-154 (2020).
MSC:
03B47