Natural Deduction systems for some weak Subintuitionistic Logics
Fatemeh Shirmohammadzadeh Maleki
TL;DR
This paper introduces natural deduction systems for certain weak subintuitionistic logics and proves normalization theorems, advancing the formal understanding of these logical systems.
Contribution
It provides the first natural deduction frameworks for weak subintuitionistic logics and establishes their normalization properties.
Findings
Successful formulation of natural deduction systems
Proofs of normalization theorems for these systems
Enhanced understanding of 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms