Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1999: Algebraic Methodology and Software Technology pp 8–16Cite as

Abstract Algebraic Logic

  • Conference paper
  • First Online:

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

Abstract

The classical method of associating a class of algebras with a logical system is that of Lindenbaum and Tarski. It can be applied to any system with a biconditional ↔ that is compositional in the sense that it defines a congruence relation on the absolutely free algebra of formulas. The method has been abstacted to provide effective criteria for the algebraizability of a large class of formal systems. One consequence of this work is a uniform method of providing a formal system with algebraic semantics. The main features of the theory of abstract algebraic logic and one of its potential applications are surveyed.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. J. Blok and D. Pigozzi. Protoalgebraic logics. Studia Logica, 45:337–369, 1986.

    Article  MATH  MathSciNet  Google Scholar 

  2. W. J. Blok and D. Pigozzi. Algebraizable logics, volume 396 of Mem. Amer. Math. Soc. American Mathematical Society, Providence, January 1989.

    Google Scholar 

  3. W. J. Blok and D. Pigozzi. Algebraic semantics for universal Horn logic without equality. In A. Romanowska and J. D. H. Smith, editors, Universal Algebra and Quasigroup Theory, pages 1–56. Heldermann, Berlin, 1992.

    Google Scholar 

  4. J. Czelakowski. Protoalgebraic Logics. Kluwer, Amsterdam. to appear.

    Google Scholar 

  5. J. Czelakowski. Model-theoretic methods in methodology of propositional calculus. The Institute of Philosophy and Sociology of the Polish Academy of Sciences, Warsaw, 1980.

    Google Scholar 

  6. J. Czelakowski. Equivalential logics I and II. Studia Logica, 40:227–236 and 355–372, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  7. J. Czelakowski and R. Jansana. Weakly algebraizable logics. Preprint 365, Centre de Recerca Matemática, Bellaterra, Spain, July 1997.

    Google Scholar 

  8. J. Czelakowski and P. Pigozzi. Amalgamation and interpolation in abstract algebraic logic. Preprint 343, Centre de Recerca Matemática, Bellaterra, Spain, September 1996.

    Google Scholar 

  9. R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularization. In G. Huet and G. Plotkin, editors, Proceedings of a Workshop on Logical Frameworks (Edinburgh, May 1991).

    Google Scholar 

  10. J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sanella and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 332 of Lecture Notes in Computer Science, pages 44–72. Springer-Verlag, 1988.

    Google Scholar 

  11. J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. J. Assoc. of Computing Machinery, 39:95–146, 1992.

    MATH  MathSciNet  Google Scholar 

  12. B. Herrmann. Equivalential and algebraizable logics. Studia Logica, 57:419–436, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  13. J. Loś and R. Suszko. Remarks on sentential logics. Proc. Kon. Nederl. Akad. Van Wetenschappen, Series A, pages 177–183, 1958.

    Google Scholar 

  14. S. Maehara. Craig’s interpolation theorem. Sügaku, pages 235–237, 1961. Japanese.

    Google Scholar 

  15. T. Maibaum, J. Fiadeiro, and M. Sadler. Stepwise program development in fiinstitutions. Research report, Imperial College of Science, Technology and Medicine, Department of Computing, 1990.

    Google Scholar 

  16. T. Maibaum and M. Sadler. Axiomatising specifcation theory. In H.-J. Kreowski, editor, Recent Trends in Data Type Specification, volume 116 of Informatik-Facberichte, pages 171–177. Springer-Verlag, 1985.

    Google Scholar 

  17. A. I. Mal’cev. Algebraic Systems, volume 192 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer-Verlag, New York, 1973.

    Google Scholar 

  18. J. Meseguer. General logics. In H.-D. Ebbinghaus et al., editor, Proceedings, Logic Colloquium, 1987, pages 275–329. North-Holland Publishing Co., Amsterdam, 1989.

    Chapter  Google Scholar 

  19. P. A. S. Veloso. A new, simpler proof of the modularization theorem for logical specifications. Bull. of the IGPL, 1:3–12, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  20. P. A. S. Veloso. On some logical properties related to modularization and interpolation. Publicações Técnicas ES-285/93, Universidade Federal do Rio de Janeiro, 1993.

    Google Scholar 

  21. P. A. S. Veloso and T. S. E. Maibaum. On the modularisation theorem for logical specifications. Research Report DoC 92/35, Imperial College of Science, Technology and Medicine, Department of Computing, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Deparment of Mathematics, Iowa State University, Ames, IA, 50011

    Don Pigozzi

Authors
  1. Don Pigozzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Pontifícia Laboratório de Métodos Formais, Universidade Católica do Rio de Janeiro, Rua Marquês De São Vicente, 225, 22453-900, Rio de Janeiro, RJ, Brazil

    Armando M. Haeberer

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pigozzi, D. (1998). Abstract Algebraic Logic. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-49253-4_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65462-9

  • Online ISBN: 978-3-540-49253-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation