Approximating classical theorems

DOI10.1093/LOGCOM/8.6.839zbMath0940.03067OpenAlexW2089923701MaRDI QIDQ4228077

Stefano Baratella, Stefano Berardi

Publication date: 13 July 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.6.839

zbMATH Keywords

effective constructionapproximation of classical theorems by constructive theoremstrees equipped with Brouwer's topology

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

This page was built for publication: Approximating classical theorems