2 citations · 4 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2020
Hypergraph Lambek Calculus
Tikhon Pshenitsyn
It is known that context-free grammars can be extended to generating graphs resulting in graph grammars; one of such fundamental approaches is hyperedge replacement grammars. On th…