Sciweavers

CADE
1992
Springer

Little Theories

13 years 7 months ago
Little Theories
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theories may be related by inclusion or by theory interpretation. We argue that the little theories approach is a desirable way to formalize mathematics, and we describe how imps, an Interactive Mathematical Proof System, supports it.
William M. Farmer, Joshua D. Guttman, F. Javier Th
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1992
Where CADE
Authors William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Comments (0)