Yuki Nishimuta
Published 2018-11-20, updated 2020-11-04Version 2
Danos and Regnier introduced generalized (non-binary) multiplicative connectives in (Danes and Regnier, 1989). They showed that there exist the generalized multiplicative connectives which cannot be defined by any combinations of the tensor and par rules in the multiplicative fragment of linear logic. These connectives are called non-decomposable generalized multiplicative connectives (ibid, p.192). In this short note, we investigate the notion of Danes and Regnier's non-decomposability and give three results concerning (non-)decomposability of generalized multiplicative connectives.
Cover Systems for the Modalities of Linear Logic
A short note on model theory of C((t))
An algebraic investigation of Linear Logic
![QR code for arXiv:1811.08187 [math.LO]](http://oss.arxitics.com/images/favicon.svg)