A negationless interpretation of intuitionistic theories. II

DOI10.1023/A:1005207512630zbMath0968.03073OpenAlexW1558782985MaRDI QIDQ1582305

Victor N. Krivtsov

Publication date: 6 February 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005207512630

zbMATH Keywords

intuitionistic higher-order arithmeticnegationless higher-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (2)

Notes on constructive negation ⋮ Pedagogical second-order \(\lambda \)-calculus

This page was built for publication: A negationless interpretation of intuitionistic theories. II