Natural Deduction systems for some weak Subintuitionistic Logics
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2024
- DOI:
- arXiv:
- arXiv:2412.00459
- Bibcode:
- 2024arXiv241200459S
- Keywords:
-
- Mathematics - Logic