scientific article; zbMATH DE number 1302067

MaRDI QIDQ4247312zbMATH OpenFDO

Authors Silvio Valentini

Publication date 13 June 2000

zbMATH Keywords

general calculus for expressionsjudgements of type theoryMartin-Löf's intuitionistic type theorymultilevel typed lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Recovering Consistency by Forgetting Inconsistency
• Forgetting under the well-founded semantics
• Reasoning under inconsistency: a forgetting-based approach
• Principles of remembering and forgetting
• Retroactive interference model of forgetting
• Component properties of forgetting and progression in the situation calculus
• scientific article; zbMATH DE number 807470
• Knowledge forgetting: properties and applications
• The form of the forgetting curve and the fate of memories

Cited in

(3)

• A minimalist two-level foundation for constructive mathematics
• Some points in formal topology.
• scientific article; zbMATH DE number 1746890 (Why is no real title available?)

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