3 papers
math.LO2025
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.
math.LO2025
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…
math.LO2024
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.