collaborators

1 paper

math.LO2022

Strong negation in the theory of computable functionals TCF

Nils Köpp, Iosif Petrakis

We incorporate strong negation in the theory of computable functionals TCF, a common extension of Plotkin's PCF and Gödel's system , by defining simultaneously strong n…