Showing 2024Show all
2 papers · 1 filter
math.LO2024
Reasoning from hypotheses in *-continuous action lattices
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski
The class of all -continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The c…
cs.LO2024
Conjunctive categorial grammars and Lambek grammars with additives
Stepan L. Kuznetsov, Alexander Okhotin
A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way h…