2 citations · 10 across the 16 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.FL2021★ 2 cited
Grammars Based on a Logic of Hypergraph Languages
Tikhon Pshenitsyn
The hyperedge replacement grammar (HRG) formalism is a natural and well-known generalization of context-free grammars. HRGs inherit a number of properties of context-free grammars,…
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…