Deductive capabilities of negationless intuitionistic arithmetic

MaRDI QIDQ1218419zbMATH OpenFDO

Authors V. F. Mezlumbekova

Publication date 1975

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cited in

(2)

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

This page was built for publication: Deductive capabilities of negationless intuitionistic arithmetic

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