Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.00459 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929609478504448 |
|---|---|
| author | Maleki, Fatemeh Shirmohammadzadeh |
| author_facet | Maleki, Fatemeh Shirmohammadzadeh |
| contents | The paper is devoted to the introduction of natural deduction systems for some weak subintuitionistic logics, along with proofs of normalization theorems for these systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_00459 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Natural Deduction systems for some weak Subintuitionistic Logics Maleki, Fatemeh Shirmohammadzadeh Logic The paper is devoted to the introduction of natural deduction systems for some weak subintuitionistic logics, along with proofs of normalization theorems for these systems. |
| title | Natural Deduction systems for some weak Subintuitionistic Logics |
| topic | Logic |
| url | https://arxiv.org/abs/2412.00459 |