scientific article; zbMATH DE number 1302067

zbMATH Open0937.03069MaRDI QIDQ4247312FDOQ4247312

Authors: Silvio Valentini 

Publication date: 13 June 2000

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

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

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)

Cited In (3)

• A minimalist two-level foundation for constructive mathematics
• Some points in formal topology.
• Title not available (Why is that?)

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)