Journal article
Little theories
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.
Authors
Farmer WM; Guttman JD; Javier Thayer F
Journal
Lecture Notes in Computer Science, Vol. 607, , pp. 567–581
Publisher
Springer Nature
Publication Date
1992
DOI
10.1007/3-540-55602-8_192
ISSN
0302-9743