Iterative Division in the Distributive Full Non-associative Lambek Calculus

Authors: Igor Sedlár
Publication year: 2020
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: Dynamic Logic. New Trends and Applications
Projects: Non-classical logical models of information dynamics
Bibliographic citation: SEDLÁR, Igor. Iterative Division in the Distributive Full Non-associative Lambek Calculus. In: SOARES BARBOSA, L., BALTAG, A., eds. Dynamic Logic. New Trends and Applications. Cham: Springer, 2020, S. 141-154. ISBN 978-3-030-38807-2. ISSN 0302-9743
Dostupné z: doi:10.1007/978-3-030-38808-9_9
DOI: 10.1007/978-3-030-38808-9_9
ID: 522406

Abstract

We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete axiomatization of the logic is provided and decidability is established via a proof of the finite model property.