Skip to main content
Log in

On universal algebraic constructions of logics

  • Published:
Studia Logica Aims and scope Submit manuscript

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. H. Andréka,An algebraic investigation of first order logie, Master Theses Budapest 1973 (in Hungarian).

  2. H. Andréka, T. Gergely andI. Németi,Purely algebraic construction of logics, Logical Semester-Warsaw 1973.

  3. H. Andréka andI. Németi.Generalisation of rariety and quasi-rariety concept to partial algebras through category theory, Preprint of Math. Inst. Hung. Acad. 1976.

  4. J. E. Fenstad,On representation of poliadic algebras, Kongelize Norske Vid. Selsk. Forth Trondenheim, 1964.

  5. G. Grätzer,Universal algebra, Van Nostrand, Princeton 1968.

    Google Scholar 

  6. L. Henkin, D. Monk andA. Tarski,Cylindric algebras, North Holland, Amsterdam 1971.

    Google Scholar 

  7. H. J. Keisler,A complete first order logic with infinitary predicates,Fundamenta Mathematicae (1963), pp. 177–203.

  8. A. Mal'cev,Quasiprimitive classes of abstract algebras, In: A. Mal'cev,The metamathematics of algebraic systems, North Holland, Amsterdam 1971.

    Google Scholar 

  9. D. Monk,Nonfinitizability of classes of representable cylindric algebras,Journal of Symbolic Logic, 34 (1969), pp. 331–343.

    Google Scholar 

  10. Don Pigozzi,Amalgamation, congruence-extension and interpolation properties in algebras,Algebra Universalis 1 (1972).

  11. H. Rasiowa andR. Sikorski,A proof of the completeness theorem of Gödel,Fundamenta Mathematicae, 37 (1950), pp. 193–200.

    Google Scholar 

Download references

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Andréka, H., Gergely, T. & Németi, I. On universal algebraic constructions of logics. Stud Logica 36, 9–47 (1977). https://doi.org/10.1007/BF02121113

Download citation

  • Issue Date:

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

Keywords

Navigation