Gentzen and Temporal Sequents
The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trz...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2024-12-01
|
| Series: | Studies in Logic, Grammar and Rhetoric |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/slgr-2024-0014 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593633575960576 |
|---|---|
| author | Indrzejczak Andrzej |
| author_facet | Indrzejczak Andrzej |
| author_sort | Indrzejczak Andrzej |
| collection | DOAJ |
| description | The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trzęsicki at the 1980s. The second, called Multiple Sequent Calculus (MSC), was proposed in the beginning of the present century. Both approaches are examples of the family of multisequent calculi. |
| format | Article |
| id | doaj-art-9f691f3a286946febc5f3d71fe2302ed |
| institution | Kabale University |
| issn | 2199-6059 |
| language | English |
| publishDate | 2024-12-01 |
| publisher | Sciendo |
| record_format | Article |
| series | Studies in Logic, Grammar and Rhetoric |
| spelling | doaj-art-9f691f3a286946febc5f3d71fe2302ed2025-01-20T11:10:12ZengSciendoStudies in Logic, Grammar and Rhetoric2199-60592024-12-0169124125810.2478/slgr-2024-0014Gentzen and Temporal SequentsIndrzejczak Andrzej0Department of Logic, University of Lodz, Lodz, PolandThe paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trzęsicki at the 1980s. The second, called Multiple Sequent Calculus (MSC), was proposed in the beginning of the present century. Both approaches are examples of the family of multisequent calculi.https://doi.org/10.2478/slgr-2024-0014sequent calculitemporal logicsmultisequent calculi |
| spellingShingle | Indrzejczak Andrzej Gentzen and Temporal Sequents Studies in Logic, Grammar and Rhetoric sequent calculi temporal logics multisequent calculi |
| title | Gentzen and Temporal Sequents |
| title_full | Gentzen and Temporal Sequents |
| title_fullStr | Gentzen and Temporal Sequents |
| title_full_unstemmed | Gentzen and Temporal Sequents |
| title_short | Gentzen and Temporal Sequents |
| title_sort | gentzen and temporal sequents |
| topic | sequent calculi temporal logics multisequent calculi |
| url | https://doi.org/10.2478/slgr-2024-0014 |
| work_keys_str_mv | AT indrzejczakandrzej gentzenandtemporalsequents |