scientific article; zbMATH DE number 2020149

MaRDI QIDQ4440798zbMATH OpenFDO

Authors V. Kh. Khakhanyan

Publication date 2002

zbMATH Keywords

intuitionistic variant of NF

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 3878895
• scientific article; zbMATH DE number 536900
• Relating Quine's NF to Feferman's EM
• A quasi-discursive system \(ND_2^+\)
• Mathematical objects arising from equivalence relations and their implementation in Quine's NF
• Equivalence systems with finitely many relations
• scientific article; zbMATH DE number 2187723
• scientific article; zbMATH DE number 859797
• scientific article; zbMATH DE number 975273
• Systems of combinatory logic related to Quine's `New Foundations'

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 Q4440798)