An infrastructure of intertheory reasoning

DOI10.1007/10721959_8MaRDI QIDQ2723412zbMATH OpenFDO

Authors William M. Farmer

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10721959_8

Mathematics Subject Classification ID

Recommendations

• IMPS: An interactive mathematical proof system
• Combining semantical and syntactical theory reasoning
• scientific article; zbMATH DE number 1140677
• Five theories of reasoning: interconnections and applications to mathematics
• Structure formation in large theories

Cited in

(6)

• Idealizations, Intertheory Explanations and Conditionals
• Building Structured Theories
• Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
• scientific article; zbMATH DE number 2050352 (Why is no real title available?)
• Deduction as an engineering science
• Reducible Theories and Amalgamations of Models

This page was built for publication: An infrastructure of intertheory reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723412)