2 citations · 4 across the 3 of their papers we have counts for
4 papers
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…
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…
Weak Greibach Normal Form for Hyperedge Replacement Grammars
Tikhon Pshenitsyn
It is known that hyperedge replacement grammars are similar to string context-free grammars in the sense of definitions and properties. Therefore, we expect that there is a general…
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…