Borisavljević, Mirjana Maximum segments as natural deduction images of some cuts. (English) Zbl 1515.03210 Log. Univers. 16, No. 3, 499-533 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 PDFBibTeX XMLCite \textit{M. Borisavljević}, Log. Univers. 16, No. 3, 499--533 (2022; Zbl 1515.03210) Full Text: DOI
Francez, Nissim On a distinction of two facets of meaning and its role in proof-theoretic semantics. (English) Zbl 1376.03008 Log. Univers. 9, No. 1, 121-127 (2015). Reviewer: Reinhard Kahle (Lisboa) MSC: 03A05 03F03 03B20 PDFBibTeX XMLCite \textit{N. Francez}, Log. Univers. 9, No. 1, 121--127 (2015; Zbl 1376.03008) Full Text: DOI
Francez, Nissim Harmony in multiple-conclusion natural-deduction. (English) Zbl 1339.03045 Log. Univers. 8, No. 2, 215-259 (2014). MSC: 03F03 03B22 PDFBibTeX XMLCite \textit{N. Francez}, Log. Univers. 8, No. 2, 215--259 (2014; Zbl 1339.03045) Full Text: DOI
Negri, Sara Proofs and countermodels in non-classical logics. (English) Zbl 1339.03046 Log. Univers. 8, No. 1, 25-60 (2014). MSC: 03F03 03B45 03B55 03F45 PDFBibTeX XMLCite \textit{S. Negri}, Log. Univers. 8, No. 1, 25--60 (2014; Zbl 1339.03046) Full Text: DOI
Duval, Dominique Deduction as reduction, from a categorical point of view. (English) Zbl 1286.03186 Log. Univers. 7, No. 3, 275-289 (2013). MSC: 03G27 03G30 18C30 68Q42 PDFBibTeX XMLCite \textit{D. Duval}, Log. Univers. 7, No. 3, 275--289 (2013; Zbl 1286.03186) Full Text: DOI