Reprint of: A more general general proof theory

Wansing, H

Wansing, H (reprint author), Ruhr Univ Bochum, Dept Philosophy 2, Bochum, Germany.

JOURNAL OF APPLIED LOGIC, 2017; 25 ( ): S25

Abstract

In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds......

Full Text Link