Varieties of Algebras without the Amalgamation Property

REFERENCES

• Andréka , H. , Monk , J. D. , Németi , I. (eds.). ( 1991 ). Algebraic Logic. Collog. Math. Soc. J. Bolyai. Vol. 54 . Amsterdam : North-Holland .
   Google Scholar
• Craig , W. ( 1974 ). Logic in Algebraic Form . Amsterdam : North Holland, p. 204 .
   Google Scholar
• Daigneault , A. ( 1963 ). Freedom in polyadic algebras and two theorems of Beth and Craig . Michigan Math. J. 11 : 129 – 135 .
   Google Scholar
• Daigneault , A. , Monk , J. D. ( 1963 ). Representation Theory for Polyadic algebras . Fund. Math. 52 : 151 – 176 .
   Google Scholar
• Johnson , J. S. ( 1969 ). Non-finitizability of classes of representable polyadic algebras . Journal of Symbolic Logic 34 : 344 – 354 .
   Web of Science ®Google Scholar
• Johnson , J. S. ( 1970 ). Amalgamation of Polyadic Algebras . Transactions of the American Mathematical Society 17 : 834 .
   Web of Science ®Google Scholar
• Halmos , P. ( 1962 ). Algebraic Logic . New York : Chelsea Publishing Co .
   Google Scholar
• Henkin , L. , Monk , J. D. , Tarski , A. ( 1971 ). Cylindric Algebras Part I . Amsterdam : North Holland .
   Google Scholar
• Henkin , L. , Monk , J. D. , Tarski , A. ( 1985 ). Cylindric Algebras Part II . Amsterdam : North Holland .
   Google Scholar
• Németi , I. , Sági , G. ( 2000 ). On the equational theory of representable polyadic algebras . Journal of Symbolic logic 65 : 1143 – 1167 .
   Web of Science ®Google Scholar
• Sain , I. ( 2000 ). Searching for a finitizable algebraization of first order logic . Logic Journal of IGPL. 8 ( 4 ): 495 – 589 .
   Google Scholar
• Sain , I. , Gyuris , V. ( 1996 ). Finite schematizable algebraic logic . Logic Journal of IGPL 5 ( 5 ): 699 – 751 .
   Google Scholar
• Sayed Ahmed , T. (2004). Tarskian algebraic logic. Journal on relational methods in Computer Science 1:3–26.
   Google Scholar
• Sayed Ahmed , T. ( 2004 ). On amalgamation of reducts of polyadic algebras . Algebra Universalis 51 : 301 – 359 .
   Web of Science ®Google Scholar
• Sayed Ahmed , T. ( 2005 ). Algebraic logic, where does it stand today? Bulletin of Symbolic Logic 11 ( 4 ): 465 – 516 .
   Web of Science ®Google Scholar
• Communicated by V. A. Artamonov.
   Google Scholar