scientific article; zbMATH DE number 1552573

MaRDI QIDQ4524837zbMATH OpenFDO

Authors Jingde Cheng

Publication date 29 July 2001

zbMATH Keywords

automationepistemic processesscientific discoverystrong relevant logic

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
• scientific article; zbMATH DE number 67802
• Logics in scientific discovery
• Epistemic logic with relevant agents
• scientific article; zbMATH DE number 732056

Cited in

(6)

• scientific article; zbMATH DE number 67802 (Why is no real title available?)
• The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
• scientific article; zbMATH DE number 2084862 (Why is no real title available?)
• Special issue. Model-based reasoning in science: learning and discovery
• Considerations on approaches and metrics in automated theorem generation/finding in geometry
• A systematic methodology for automated theorem finding

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