2 citations · 10 across the 16 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
Extending Action Logic with Omega Iteration
Tikhon Pshenitsyn
We present a proof system that extends action logic by omega iteration, which is viewed as infinitary multiplicative conjunction. We prove cut admissibility and establish complexit…
cs.LO2023
Multimodality in the Hypergraph Lambek Calculus
Tikhon Pshenitsyn
The multimodal Lambek calculus is an extension of the Lambek calculus that includes several product operations (some of them being commutative or/and associative), unary modalities…
cs.LO2023★ 2 cited
From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality
Tikhon Pshenitsyn
We study how to relate well-known hypergraph grammars based on the double pushout (DPO) approach and grammars over the hypergraph Lambek calculus HL (called HL-grammars). It turns…