Initial Logic and Induction in Algebraic Specification.

Published in Volume XII, 2002, pages 79-108

Authors: Dorel LUCANU

Abstract

The initial truth refers to those properties which are valid in initial models. In this paper we show how the initial truth can be organized as an institution and introduce a valid inference rule system with which we can develop proofs by induction in this logic.

Bibtex

@article{sacscuza:lucanu2002ilaiias,
  title={Initial Logic and Induction in Algebraic Specification.},
  author={Dorel LUCANU},
  journal={Scientific Annals of Computer Science},
  volume={12},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2002},
  pages={79--108},
  publisher={``A.I. Cuza'' University Press}
}