References
H. Andréka,An algebraic investigation of first order logie, Master Theses Budapest 1973 (in Hungarian).
H. Andréka, T. Gergely andI. Németi,Purely algebraic construction of logics, Logical Semester-Warsaw 1973.
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.
J. E. Fenstad,On representation of poliadic algebras, Kongelize Norske Vid. Selsk. Forth Trondenheim, 1964.
G. Grätzer,Universal algebra, Van Nostrand, Princeton 1968.
L. Henkin, D. Monk andA. Tarski,Cylindric algebras, North Holland, Amsterdam 1971.
H. J. Keisler,A complete first order logic with infinitary predicates,Fundamenta Mathematicae (1963), pp. 177–203.
A. Mal'cev,Quasiprimitive classes of abstract algebras, In: A. Mal'cev,The metamathematics of algebraic systems, North Holland, Amsterdam 1971.
D. Monk,Nonfinitizability of classes of representable cylindric algebras,Journal of Symbolic Logic, 34 (1969), pp. 331–343.
Don Pigozzi,Amalgamation, congruence-extension and interpolation properties in algebras,Algebra Universalis 1 (1972).
H. Rasiowa andR. Sikorski,A proof of the completeness theorem of Gödel,Fundamenta Mathematicae, 37 (1950), pp. 193–200.
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF02121113