| Texto completo | |
| Autor(es): |
Piazza, Mario
;
Pulcini, Gabriele
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | LOGIC JOURNAL OF THE IGPL; v. 24, n. 5, p. 708-718, OCT 2016. |
| Citações Web of Science: | 0 |
| Resumo | |
In this article, we prove that, for any cluster of extra-logical assumptions, there exists exactly one axiomatic (i.e. minimal) extension of classical propositional logic that admits cut elimination. As a corollary, it follows that classically equivalent formulas share the same axiomatization. The moral is that cut elimination `flattens' the specific information encoded by the logical structure of proper axioms. (AU) | |
| Processo FAPESP: | 13/22371-0 - Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência |
| Beneficiário: | Gabriele Pulcini |
| Modalidade de apoio: | Bolsas no Brasil - Pós-Doutorado |