2 citations · 10 across the 16 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
Cyclic Shift in the Lambek Calculus
Tikhon Pshenitsyn
We enrich the Lambek calculus with the cyclic shift operation, which is expected to model the closure operator of formal languages with respect to cyclic shifts. We introduce a Gen…
math.LO2021★ 2 cited
Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus
Tikhon Pshenitsyn
In this paper hypergraph Lambek calculus () is presented. This formalism aims to generalize the Lambek calculus () to hypergraphs as hyperedge replacement…