Sequent Calculi for some subintuitionistic Logics
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910672372105216 |
|---|---|
| author | Maleki, Fatemeh Shirmohammadzadeh |
| author_facet | Maleki, Fatemeh Shirmohammadzadeh |
| contents | This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility of the cut rule for most of these sequent calculi. We also demonstrate the equivalence of these calculi to their corresponding axiomatic systems, thereby confirming their soundness and completeness with respect to neighbourhood semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_20425 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Sequent Calculi for some subintuitionistic Logics Maleki, Fatemeh Shirmohammadzadeh Logic 03FXX This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility of the cut rule for most of these sequent calculi. We also demonstrate the equivalence of these calculi to their corresponding axiomatic systems, thereby confirming their soundness and completeness with respect to neighbourhood semantics. |
| title | Sequent Calculi for some subintuitionistic Logics |
| topic | Logic 03FXX |
| url | https://arxiv.org/abs/2410.20425 |