6 citations · 6 across the 2 of their papers we have counts for
3 papers
math.LO2022
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
Amirhossein Akbar Tabatabai, Raheleh Jalali
In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Cal…
cs.LO2021★ 6 cited
Uniform interpolation via nested sequents and hypersequents
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents,…
math.LO2020
Proof Complexity of Substructural Logics
Raheleh Jalali
In this paper, we investigate the proof complexity of a wide range of substructural systems. For any proof system at least as strong as Full Lambek calculus, $\mathbf{…