Cargando…

Complexity of proofs and their transformations in axiomatic theories

The aim of this work is to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories. The main results are establishment of upper bounds on the elongation of deductions in cut eliminatio...

Descripción completa

Detalles Bibliográficos
Autores principales: Orevkov, V P, Louvish, David, Bochman, Alexander
Lenguaje:eng
Publicado: American Mathematical Society 1993
Materias:
Acceso en línea:http://cds.cern.ch/record/2713824