Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.04347 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909162274816000 |
|---|---|
| author | Madanshekaf, Ali Přenosil, Adam Seresti, Zeinab Khanjanzadeh Tsinakis, Constantine |
| author_facet | Madanshekaf, Ali Přenosil, Adam Seresti, Zeinab Khanjanzadeh Tsinakis, Constantine |
| contents | The pioneering work of Blok and Jónsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, where consequence relations over all types of syntactic objects are put on an equal footing. However, the assumption that in a consequence relation the premises form merely a set, as opposed to a more complicated structure, is still retained. An attempt to extend this framework to account for inferentially substructural generalizations of consequence relations, where the premises have the structure of a finite multiset, was recently made by Cintula, Gil-Férez, Moraschini, and Paoli. In this paper, we develop a different inferentially substructural generalization of the work of Galatos and Tsinakis, where we instead assume that the premises have the structure of a set of finite multisets. This leads a somewhat smoother framework which, unlike that of Cintula et al., covers the original theory of Galatos and Tsinakis as a special case. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_04347 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Equivalence of multiset-based consequence relations Madanshekaf, Ali Přenosil, Adam Seresti, Zeinab Khanjanzadeh Tsinakis, Constantine Logic The pioneering work of Blok and Jónsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, where consequence relations over all types of syntactic objects are put on an equal footing. However, the assumption that in a consequence relation the premises form merely a set, as opposed to a more complicated structure, is still retained. An attempt to extend this framework to account for inferentially substructural generalizations of consequence relations, where the premises have the structure of a finite multiset, was recently made by Cintula, Gil-Férez, Moraschini, and Paoli. In this paper, we develop a different inferentially substructural generalization of the work of Galatos and Tsinakis, where we instead assume that the premises have the structure of a set of finite multisets. This leads a somewhat smoother framework which, unlike that of Cintula et al., covers the original theory of Galatos and Tsinakis as a special case. |
| title | Equivalence of multiset-based consequence relations |
| topic | Logic |
| url | https://arxiv.org/abs/2404.04347 |