Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic-Reference-Cited by-同舟云学术

Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic

Published: Issue: Volume: Page:209-225
ISSN:
Container-title:Algebraic Logic and Universal Algebra in Computer Science
language:
Short-container-title:

Author:

Sain Ildikó

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0043086

Reference33 articles.

1. H.Andréka-S.D.Comer-I.Németi, Epimorphisms in cylindric algebras, Preprint (1982).

2. H.Andréka-B.Jónsson-I.Németi, Relatively free relation algebras, submitted to Proc. Conf. on Algebraic Logic and Universal Algebra in Computer Science, Ames (USA), 1988.

3. J.Barwise-S.Feferman (Eds.), Model-Theoretic Logics, Springer-Verlag (1985), xviii+893pp.

4. C.Bergman-R.McKenzie, On the relationship of AP, RS, and CEP in congruence modular varieties. II., Preprint (1987).

5. S.D. Comer, Classes without the amalgamation property, Pacific J. Math. Vol 28 (1969), 309–318.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Modelwise Interpolation Property of Semantic Logics;Bulletin of the Section of Logic;2023-04-21

2. TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY;The Journal of Symbolic Logic;2021-02-01

3. Interpolation property and homogeneous structures;Logic Journal of IGPL;2014-01-21

4. Amalgamation, interpolation, and implicit definability in varieties of algebras;Proceedings of the Steklov Institute of Mathematics;2012-09-19

5. Decidability of the interpolation problem and of related properties in tabular logics;Algebra and Logic;2009-11