Fragments of Some Subintuitionistic Logics

2025/07/12 by Maleki, Fatemeh Shirmohammadzadeh, de Jongh, Dick
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2507.09348

Abstract

In this article we determine the implicational fragments of most of the known subintuitionistic logics.

Citations

• Sequent Calculi for some subintuitionistic Logics

Related

• Sub-sub-intuitionistic logic
• Subreflexive Logic: Completeness without Identity
• Classical and Intuitionistic Subexponential Logics are Equally\n Expressive
• On subreducts of subresiduated lattices and logic
• Natural Deduction systems for some weak Subintuitionistic Logics