Models and Theories

  • Peter Padawitz
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 16)


This chapter deals with several theories derived from a Horn clause specification. Each theory is complete with respect to a subclass of Mod(SIG,AX) (cf. Section 2.3). Different theories represent different concepts of semantical abstraction. Some of them correspond to the theory of a single SIG-structure, say B. Vice versa, if we start out from a SIG-structure A as the formalization of a data type, an axiom set AX is called correct w.r.t. A if A coincides with B.


Predicate Symbol Horn Clause Ground Term Ground Atom Ground Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Peter Padawitz
    • 1
  1. 1.Fakultät für Mathematik und InformatikUniversität PassauPassauGermany

Personalised recommendations