| Full text | |
| Author(s): |
Piazza, Mario
;
Pulcini, Gabriele
Total Authors: 2
|
| Document type: | Journal article |
| Source: | LOGIC JOURNAL OF THE IGPL; v. 24, n. 5, p. 708-718, OCT 2016. |
| Web of Science Citations: | 0 |
| Abstract | |
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) | |
| FAPESP's process: | 13/22371-0 - Towards a unified setting for non-monotony and paraconsistency |
| Grantee: | Gabriele Pulcini |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |