Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Analyticity with extra-logical information
Beteiligte:
Piazza, Mario;
Tesi, Matteo
Erschienen:
Oxford University Press (OUP), 2024
Erschienen in:
Journal of Logic and Computation (2024)
Sprache:
Englisch
DOI:
10.1093/logcom/exae013
ISSN:
1465-363X;
0955-792X
Entstehung:
Anmerkungen:
Beschreibung:
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.