A negationless interpretation of intuitionistic theories. I

DOI10.1023/A:1005233526469zbMath0964.03065OpenAlexW4240917076MaRDI QIDQ1577359

Victor N. Krivtsov

Publication date: 9 July 2001

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

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

zbMATH Keywords

intuitionistic theorynatural deduction systemaxiomatizationnegationless intuitionistic mathematics

Mathematics Subject Classification ID

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. I