IMPS: System Description

@inproceedings{Farmer1992IMPSSD,
  title={IMPS: System Description},
  author={William M. Farmer and Joshua D. Guttman and F. Javier Thayer},
  booktitle={CADE},
  year={1992}
}
Support for the Axiomatic Method. imps supports the “little theories” version of the axiomatic method, as opposed to the “big theory” version. In the big theory approach, all reasoning is carried out within one theory—usually some highly expressive theory, such as the Zermelo-Fraenkel set theory. In the little theories approach, reasoning is distributed over a network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete… CONTINUE READING
BETA

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

Abstract data types in many-sorted second-order logic

  • W. M. Farmer
  • Technical Report M87-64, The mitre Corporation
  • 1987
1 Excerpt

Obligated term replacements

  • F. J. Thayer
  • Technical Report MTR- 10301, The mitre…
  • 1987
1 Excerpt

Similar Papers

Loading similar papers…