Fragments of Some Subintuitionistic Logics
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
math.LO↗
arXiv subjects
Fatemeh Shirmohammadzadeh Maleki
Publications and source records attributed to Fatemeh Shirmohammadzadeh Maleki.
Sequent calculus for the subintuitionistic logic ${\sf WF_{N_{2}}} $
A cut-free G3-style sequent calculus GWFN2 for the subintuitionistic logic WFN2, along with its single-succedent variant GWFsN2, is introduced. The calculus GWFN2 is shown to extend naturally to a G3-style of the sequent calculus GF for Corsis logic F. Additionally, a syntactic proof of the known embedding of GWFN2 into classical modal logic MNec is presented.
math.LO↗
Natural Deduction systems for some weak Subintuitionistic Logics
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.
math.LO↗
Sequent Calculi for some subintuitionistic Logics
This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility of the cut rule for most of these sequent calculi. We also demonstrate the equivalence of these calculi to their corresponding axiomatic systems, thereby confirming their soundness and completeness with respect to neighbourhood semantics.
math.LO↗