4 citations · 10 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
Amirhossein Akbar Tabatabai, Raheleh Jalali
In \cite{Craig}, we introduced a syntactically defined and highly general class of calculi known as \emph{semi-analytic}. We then demonstrated that any sufficiently strong (modal)…
cs.LO2018★ 2 cited
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
Amirhossein Akbar Tabatabai, Raheleh Jalali
We provide a general and syntactically-defined family of sequent calculi, called \emph{semi-analytic}, to formalize the informal notion of a "nice" sequent calculus. We show that a…