Natural Deduction systems for some weak Subintuitionistic Logics
Logic
2024-12-03 v1
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.
Cite
@article{arxiv.2412.00459,
title = {Natural Deduction systems for some weak Subintuitionistic Logics},
author = {Fatemeh Shirmohammadzadeh Maleki},
journal= {arXiv preprint arXiv:2412.00459},
year = {2024}
}