Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Logic and Universal Algebra in Computer Science

ALUACS 1988: Algebraic Logic and Universal Algebra in Computer Science pp 181–194Cite as

Other logics for (equational) theories

  • Contributed Papers
  • Conference paper
  • First Online:

  • 248 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 425))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Berman, Free spectra of 3-element algebras, in: R.S. Freese et al., Universal Algebra and Lattice Theory, LNM 1004, Springer-Verlag: Berlin-New York, 1983.

    Google Scholar 

  2. G. Birkhoff and J.D. Lipson, Heterogeneous algebras, J. Combinatorial Theory, 8(1970), 115–133.

    MATH  MathSciNet  Google Scholar 

  3. G. Birkhoff, Universal algebra, Proceedings of the First Canadian Mathematical Congress, The University of Toronto Press, Toronto, 1946, 310–325.

    Google Scholar 

  4. S. Burris and H.P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag: Berlin-New York, 1981.

    MATH  Google Scholar 

  5. C.C. Chang and H.J. Keister, Model Theory, North-Holland: Amsterdam, 1973.

    MATH  Google Scholar 

  6. H.B. Enderton, A Mathematical Introduction to Logic, Academic Press: New York, 1972.

    MATH  Google Scholar 

  7. J.A. Goguen and J. Meseguer, Equality, types, modules, and (why not?) generics for logic programming, J. Logic Programming 2(1984), 179–210.

    Article  MathSciNet  Google Scholar 

  8. J.W. Lloyd, Foundations of Logic Programming, Springer-Verlag: Berlin-New York, 1984.

    MATH  Google Scholar 

  9. R.C. Lyndon, Properties preserved under homomorphisms, Pacific J. Math. 9(1959), 143–154.

    MATH  MathSciNet  Google Scholar 

  10. E. Mendelson, Introduction to Mathematical Logic, Van Nostrand: Princeton, 1964.

    Google Scholar 

  11. W. Peremans, Some theorems on free algebra and on direct products of algebras, Simon Stevin 29(1952), 51–59.

    MATH  MathSciNet  Google Scholar 

  12. A. Selman, Completeness of calculi for axiomatically defined classes of algebras, Alg. Univ. 2(1972), 30–32.

    Article  MathSciNet  Google Scholar 

  13. A. Tarski and R.L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13(1958), 81–102.

    MathSciNet  Google Scholar 

  14. W. Taylor, Equational logic, Houston J. Math, Survey (1979).

    Google Scholar 

  15. M.H. van Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, J. Assoc. Comput. Math. 23(1976), 733–742.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of Iowa, USA

    G. C. Nelson

Authors
  1. G. C. Nelson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Clifford H. Bergman Roger D. Maddux Don L. Pigozzi

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nelson, G.C. (1990). Other logics for (equational) theories. In: Bergman, C.H., Maddux, R.D., Pigozzi, D.L. (eds) Algebraic Logic and Universal Algebra in Computer Science. ALUACS 1988. Lecture Notes in Computer Science, vol 425. Springer, New York, NY. https://doi.org/10.1007/BFb0043084

Download citation

  • DOI: https://doi.org/10.1007/BFb0043084

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-97288-6

  • Online ISBN: 978-0-387-34804-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation