A negationless interpretation of intuitionistic theories

DOI10.1023/A:1005618302941zbMath0981.03062MaRDI QIDQ1841006

Victor N. Krivtsov

Publication date: 21 March 2002

Published in: Erkenntnis (Search for Journal in Brave)

zbMATH Keywords

translationsintuitionistic mathematicshigher-order arithmeticnegationless mathematicsnegationless arithmeticnegationless primitive recursive analysis

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Related Items

The creating subject, the Brouwer-Kripke schema, and infinite proofs