6 citations · 15 across the 13 of their papers we have counts for
1 paper · 1 filter
Sergey Slavnov
In this note we discuss a variant of linear logic with idempotent exponential modalities. We propose a sequent calculus system and discuss its semantics. We also give a concrete re…