scientific article; zbMATH DE number 3059607

MaRDI QIDQ5798786zbMATH OpenFDO

Authors G. F. C. Griss

Publication date 1950

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(5)

• A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic
• Embedding intuitionistic-type theory in negationless-type theory
• scientific article; zbMATH DE number 3248787 (Why is no real title available?)
• Executability and connexivity in an interpretation of Griss
• Pedagogical second-order \(\lambda \)-calculus

This page was built for publication:

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