4 citations · 10 across the 16 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Exponential Gaps Between Intuitionistic Linear Extended Frege Systems
Amirhossein Akbar Tabatabai
In this paper, we establish exponential separations between Extended Frege systems for a range of intuitionistic substructural and linear logics. More precisely, for any logic …
cs.LO2026
Proof Complexity of Linear Logics
Amirhossein Akbar Tabatabai, Raheleh Jalali
Proving proof-size lower bounds for , the sequent calculus for classical propositional logic, remains one of the major open problems in proof complexity. We shed new l…