Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Uniqueness of axiomatic extensions of cut-free classical propositional logic

Full text
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

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 type: Scholarships in Brazil - Post-Doctorate