Three Topics in Non-decomposability of Generalized Multiplicative Connectives
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917223988199424 |
|---|---|
| author | Nishimuta, Yuki |
| author_facet | Nishimuta, Yuki |
| contents | Danos and Regnier introduced generalized (non-binary) multiplicative connectives in Danos and Regnier [2]. They showed that there exist generalized multiplicative connectives that cannot be defined by any combination of the tensor and par rules in the multiplicative fragment of linear logic. Such connectives are called non-decomposable generalized multiplicative connectives [2, p.192]. The non-decomposability of logical connectives can be regarded as a proof-theoretic and syntactic counterpart of functional completeness for cut-free proofs. In this short note, we investigate Danos and Regnier's notion of non-decomposability and present three results concerning the (non-)decomposability of generalized multiplicative connectives. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1811_08187 |
| institution | arXiv |
| publishDate | 2018 |
| record_format | arxiv |
| spellingShingle | Three Topics in Non-decomposability of Generalized Multiplicative Connectives Nishimuta, Yuki Logic Danos and Regnier introduced generalized (non-binary) multiplicative connectives in Danos and Regnier [2]. They showed that there exist generalized multiplicative connectives that cannot be defined by any combination of the tensor and par rules in the multiplicative fragment of linear logic. Such connectives are called non-decomposable generalized multiplicative connectives [2, p.192]. The non-decomposability of logical connectives can be regarded as a proof-theoretic and syntactic counterpart of functional completeness for cut-free proofs. In this short note, we investigate Danos and Regnier's notion of non-decomposability and present three results concerning the (non-)decomposability of generalized multiplicative connectives. |
| title | Three Topics in Non-decomposability of Generalized Multiplicative Connectives |
| topic | Logic |
| url | https://arxiv.org/abs/1811.08187 |