Natural Deduction systems for some weak Subintuitionistic Logics
arXiv:2412.00459
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.