A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic

DOI10.1007/BF01156470zbMath0576.03037MaRDI QIDQ1064322

Victor N. Krivtsov

Publication date: 1984

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

natural deductioninterpretation

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Intuitionistic mathematics (03F55)

Related Items

Embedding intuitionistic-type theory in negationless-type theory

Cites Work

• Non-null implication
• Unnamed Item
• Unnamed Item