scientific article; zbMATH DE number 2086323

MaRDI QIDQ3044486zbMATH OpenFDO

Authors Masahiko Sato

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2281/22810078.htm

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Foundations of classical theories (including reverse mathematics) (03B30) Combinatory logic and lambda calculus (03B40) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• A logical framework for developing and mechanizing set theories
• scientific article; zbMATH DE number 2110615
• Logic representation in LF
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework

Cited in

(5)

• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• scientific article; zbMATH DE number 1414376 (Why is no real title available?)
• A new interpretation of russell's multiple-relation theory of judgment
• External and internal syntax of the \(\lambda \)-calculus
• A formal framework for deliberated judgment

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