<div class="csl-bib-body">
<div class="csl-entry">Piazza, M., & Tesi, M. (2024). Analyticity with extra-logical information. <i>Journal of Logic and Computation</i>. https://doi.org/10.1093/logcom/exae013</div>
</div>
-
dc.identifier.issn
0955-792X
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/199833
-
dc.description.abstract
In this paper, a new approach to the issue of extra-logical information within analytic (i.e. obeying the sub-formula property) sequent systems is introduced. We prove that incorporating extra-logical axioms into a purely logical system can preserve analyticity, provided these axioms belong to a suitable class of formulas that can be decomposed into a set of equivalent initial sequents and are permutable over the cut rule. Our approach is applicable not only to first-order classical and intuitionistic logics, but also to substructural logics. Furthermore, we establish a limit for the augmented systems under analysis: exceeding the boundaries of their respective classes of extra-logical axioms leads to either a loss of analyticity or a loss of structural properties.