%0 Conference Paper %1 citeulike:1319952 %A Farmer, William M. %A Guttman, Joshua D. %A Thayer, Javier F. %B Conference on Automated Deduction %D 1992 %K little theories %P 567--581 %T Little Theories %U http://citeseer.ist.psu.edu/farmer92little.html %X 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.

@inproceedings{citeulike:1319952, abstract = {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.}, added-at = {2007-08-18T13:22:24.000+0200}, author = {Farmer, William M. and Guttman, Joshua D. and Thayer, Javier F.}, biburl = {https://www.bibsonomy.org/bibtex/22d0edc179cd0e82d5646ef289ecea53f/a_olympia}, booktitle = {Conference on Automated Deduction}, citeulike-article-id = {1319952}, description = {citeulike}, interhash = {4c0d7bd9d037305312e943a47b5a2770}, intrahash = {2d0edc179cd0e82d5646ef289ecea53f}, keywords = {little theories}, pages = {567--581}, priority = {2}, timestamp = {2007-08-18T13:22:26.000+0200}, title = {Little Theories}, url = {http://citeseer.ist.psu.edu/farmer92little.html}, year = 1992 }