scientific article; zbMATH DE number 2086323

zbMATH Open1052.03520MaRDI QIDQ3044486FDOQ3044486

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• 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
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

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)