4 papers
Fragments of Some Subintuitionistic Logics
Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
Sequent calculus for the subintuitionistic logic
Fatemeh Shirmohammadzadeh Maleki
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 exten…
Natural Deduction systems for some weak Subintuitionistic Logics
Fatemeh Shirmohammadzadeh Maleki
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.
Sequent Calculi for some subintuitionistic Logics
Fatemeh Shirmohammadzadeh Maleki
This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these cal…