Pubblicazioni

Autori:

Köpp, Nils; Petrakis, Iosif

Titolo:

Strong negation in the theory of computable functionals TCF

Anno:

2025

Tipologia prodotto:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Lingua:

Inglese

Formato:

Elettronico

Referee:

Sì

Nome rivista:

LOGICAL METHODS IN COMPUTER SCIENCE

ISSN Rivista:

1860-5974

N° Volume:

Volume 21, Issue 2

Intervallo pagine:

1-28

Parole chiave:

Higher order computability, constructive mathematics, strong negation

Breve descrizione dei contenuti:

We incorporate strong negation in the theory of computable functionals TCF, a common extension of Plotkin’s PCF and Goedel’s system T, by defining simultaneously strong negation of a formula and strong negation of a predicate P in TCF. As a special case of the latter, we get strong negation of an inductive and a coinductive predicate of TCF.

Pagina Web:

https://lmcs.episciences.org/15465

Id prodotto:

144973

Handle IRIS:

11562/1159069

ultima modifica:

7 aprile 2025

Citazione bibliografica:

Köpp, Nils; Petrakis, Iosif, Strong negation in the theory of computable functionals TCF «LOGICAL METHODS IN COMPUTER SCIENCE» , vol. Volume 21, Issue 2 , 2025 , pp. 1-28

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