Strong negation in the theory of computable functionals TCF

DOI10.46298/LMCS-21(2:1)2025MaRDI QIDQ6987766zbMATH OpenFDO

Authors Nils Köpp, Iosif Petrakis

Publication date 6 May 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

constructive mathematicsstrong negationhigher-order computability

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

This page was built for publication: Strong negation in the theory of computable functionals TCF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987766)