Little Theories (1992)
by
William M. Farmer
,
Joshua D. Guttman
,
F. Javier Thayer
| Venue: | Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science |
| Citations: | 42 - 14 self |
BibTeX
@INPROCEEDINGS{Farmer92littletheories,
author = {William M. Farmer and Joshua D. Guttman and F. Javier Thayer},
title = {Little Theories},
booktitle = {Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science},
year = {1992},
pages = {567--581},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
