Advertisement

Equational calculi for many-sorted algebras with empty carrier sets

  • Vincenzo Manca
  • Antonino Salibra
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 452)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Burmeister P., A Model Theoretic Oriented Approach to Partial Algebras, Akademie-Verlag, Berlin, 1986.Google Scholar
  2. [2]
    Ehrig H., Loeckx J. and Mahr B., A Remark on the Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets, Bulletin of the EATCS, n.30, October 1986.Google Scholar
  3. [3]
    Ehrig H. and Mahr B., Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer Verlag, 1985.Google Scholar
  4. [4]
    Goguen J.A. and Meseguer J., Completeness of Many-Sorted Equational Logic, Houston Journal of Mathematics, Vol.11, n.3, 1985, 307–334.Google Scholar
  5. [5]
    Meseguer J. and Goguen J.A., Initiality, Induction and Computability, in M. Nivat and J.C. Reynolds (Eds.) Algebraic Methods in Semantics, Cambridge University Press, 1985, 459–541.Google Scholar
  6. [6]
    Goguen J.A. and Meseguer J., Remarks on Remarks on Many-Sorted Equational Logic, Bulletin of the EATCS, n. 30, October 1986.Google Scholar
  7. [7]
    Grätzer G., Universal Algebra, Springer Verlag, 1979, second edition.Google Scholar
  8. [8]
    Huet G. and Oppen D.C., Equations and Rewrite Rules: a Survey, in R. Book (Ed.), Formal Language Theory: Perspective and Open Problems, Academic Press, 1980, 349–405.Google Scholar
  9. [9]
    Manca V. and Salibra A., Soundness and Completeness of the Birkhoff Many-Sorted Equational Calculus with Possibly Empty Carrier Sets, submitted to Theoretical Computer Science.Google Scholar
  10. [10]
    Markusz Z., On Many-sorted Logic, in Communications of Computer Science, Inst. of Hungarian Acad. Sci., 1983.Google Scholar
  11. [11]
    Markusz Z., Validity Concepts for Many-sorted Logic Allowing Empty Sorts, in Communications of Computer Science, Inst. of Hungarian Acad. Sci., 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Vincenzo Manca
    • 1
    • 2
  • Antonino Salibra
    • 1
  1. 1.Dip. di InformaticaUniversità di PisaPisaItaly
  2. 2.Dip. di Matematica e InformaticaUniversità di UdineUdineItaly

Personalised recommendations