Pubblicazioni

Autori:

Fellin, Giulio; Schuster, Peter

Titolo:

CONSERVATION AS TRANSLATION

Anno:

2025

Tipologia prodotto:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Lingua:

Inglese

Formato:

A Stampa

Referee:

Sì

Nome rivista:

THE REVIEW OF SYMBOLIC LOGIC

ISSN Rivista:

1755-0203

N° Volume:

18

Numero o Fascicolo:

1

Intervallo pagine:

316-348

Parole chiave:

Glivenko; nucleus; entailment relation; negative translation; double negation

Breve descrizione dei contenuti:

Glivenko's theorem says that classical provability of a propositional formula entails intuitionistic provability of the double negation of that formula. This stood right at the beginning of the success story of negative translations, indeed mainly designed for converting classically derivable formulae into intuitionistically derivable ones. We now generalise this approach: simultaneously from double negation to an arbitrary nucleus; from provability in a calculus to an inductively generated abstract consequence relation; and from propositional logic to any set of objects whatsoever. In particular, we give sharp criteria for the generalisation of classical logic to be a conservative extension of the one of intuitionistic logic with double negation.

Pagina Web:

https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/conservation-as-translation/7D791F8060241B20D370F1030A4030EA

Id prodotto:

145474

Handle IRIS:

11562/1161331

ultima modifica:

7 maggio 2025

Citazione bibliografica:

Fellin, Giulio; Schuster, Peter, CONSERVATION AS TRANSLATION «THE REVIEW OF SYMBOLIC LOGIC» , vol. 18 , n. 1 , 2025 , pp. 316-348

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo