structural proof theory

subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof

en-GB/ˈstɹʌkt͡ʃəɹəl ˈpɹuːf θɪəɹiː/
en-US/ˈstɹʌkt͡ʃɚəl ˈpɹuf ˌθiəˌɹi/

Categorias:

area of mathematicsproof theory