Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Tabatabai, A.A., Jalali, R.: Universal proof theory: semi-analytic rules and interpolation. Manuscript (2019)
2. Alon, N., Boppana, R.: The monotone circuit complexity of boolean functions. Combinatorica 7(1), 1–22 (1987)
3. Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: cut-elimination and completions. Ann. Pure Appl. Logic 163(3), 266–290 (2012)
4. Hrubeš, P.: A lower bound for intuitionistic logic. Ann. Pure Appl. Logic 146(1), 72–90 (2007)
5. Hrubeš, P.: On lengths of proofs in non-classical logics. Ann. Pure Appl. Logic 157(2–3), 194–205 (2009)