Bobzien, Susanne Stoic sequent logic and proof theory. (English) Zbl 1427.03061 Hist. Philos. Log. 40, No. 3, 234-265 (2019). MSC: 03F03 03B47 03-03 01A20 PDFBibTeX XMLCite \textit{S. Bobzien}, Hist. Philos. Log. 40, No. 3, 234--265 (2019; Zbl 1427.03061) Full Text: DOI Link
Bobzien, Susanne; Dyckhoff, Roy Analyticity, balance and non-admissibility of Cut in stoic logic. (English) Zbl 1494.03089 Stud. Log. 107, No. 2, 375-397 (2019). MSC: 03F05 03B47 03A05 PDFBibTeX XMLCite \textit{S. Bobzien} and \textit{R. Dyckhoff}, Stud. Log. 107, No. 2, 375--397 (2019; Zbl 1494.03089) Full Text: DOI