Natural Deduction systems for some weak Subintuitionistic Logics

2024/11/30 by Maleki, Fatemeh Shirmohammadzadeh
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/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.

Related

• Labeled Natural Deduction Systems for a Family of Tense Logics
• Natural Deduction Calculus for First-Order Logic
• Hereditarily Structurally Complete Superintuitionistic Deductive Systems
• How to prove it in Natural Deduction: A Tactical Approach
• The naturality of natural deduction (II). Some remarks on atomic\n polymorphism