A Prologue to the Theory of Deduction
Knez Mihailova · 2010
This is an introduction to general proof theory in terms of some philosophical considerations. The central problem of this theory is the problem of identity criteria for deductions. When it is treated in categorial proof theory, this problem is closely tied to categorial coherence results, which may be understood as completeness results for systems of equations between deductions with respect to simple model categories. With the help of the categorial notion of isomorphism, the categorial perspective enables us to formulate in precise mathematical terms criteria for propositional identity.