{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:45Z","timestamp":1755220905198,"version":"3.43.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1023\/a:1005119811423","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:06:43Z","timestamp":1040486803000},"page":"1-19","source":"Crossref","is-referenced-by-count":8,"title":["Interpolation and Amalgamation; Pushing the Limits. Part II"],"prefix":"10.1007","volume":"62","author":[{"given":"Judit X.","family":"Madar\u00e1sz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"205228_CR1","unstructured":"H. Andr\u00c9ka, W. Blok, I. N\u00c9meti, D. Pigozzi and I. Sain, \u2018Abstract algebraic logic\u2019, chapter for the Handbook of Algebraic Logic (in preparation)."},{"key":"205228_CR2","unstructured":"H. Andr\u00c9ka, S. D. Comer and I. E\u00c9meti, \u2018Epimorphisms in cylindric algebras\u2019, manuscript (1983)."},{"key":"205228_CR3","doi-asserted-by":"crossref","unstructured":"H. Andr\u00c9ka, \u00c1. Kurucz, I. N\u00c9meti and I. Sain, \u2018Applying algebraic logic. A general methodology\u2019, Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear). Shortened version of this appeared as \u2018Applying algebraic logic to logic\u2019 in Algebraic Methodology and Software Technology, eds. M. Nivat\net al., Springer-Verlag, 1994, 5\u201326.","DOI":"10.1007\/978-1-4471-3227-1_3"},{"key":"205228_CR4","unstructured":"H. Andr\u00c9ka and I. N\u00c9meti, \u2018Craig's Interpolation does not imply amalgamation, after all\u2019, manuscript (1994)."},{"key":"205228_CR5","unstructured":"H. Adr\u00c9ka, I. N\u00c9meti and I. Sain, \u2018Abstract model theoretic approach to algebraic logic\u2019, preprint (1984). New version: H. Adr\u00e9ka, I. N\u00e9meti, I. Sain and \u00c1. Kurucz, \u2018General algebraic logic including algebraic model theory: an overview\u2019, in: Logic Colloquium '92 (Proc. 1992 Summer Meeting of Assoc. Symb. Log., eds. D. Gabbay and L. Csirmaz, CSLI Publications, Stanford, 1995, 1\u201360."},{"key":"205228_CR6","volume-title":"On Interpolation, amalgamation, universal algebra and Boolean algebras with operators","author":"H. Andr\u00c9ka","year":"1994","unstructured":"H. Andr\u00c9ka, I. N\u00c9meti and I. Sain, \u2018On Interpolation, amalgamation, universal algebra and Boolean algebras with operators\u2019, Mathematical Institute, Budapest, preprint (1994)."},{"key":"205228_CR7","unstructured":"H. Andr\u00c9ka, I. N\u00c9meti and I. Sain, \u2018Algebraic logic\u2019, in: Handbook of Philosophical Logic, second edition, vol. I, ed. D. M. Gabbay, Kluwer Publisher, 1997 (to appear)."},{"key":"205228_CR8","doi-asserted-by":"crossref","unstructured":"W. J. Blok and D. Pigozzi, Algebraizable logics, Memoirs Amer. Math. Soc., vol. 77,no. 396, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"205228_CR9","unstructured":"W. J. Blok and D. Pigozzi, \u2018Abstract algebraic logic\u2019, Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear)."},{"key":"205228_CR10","unstructured":"S. D. Comer, \u2018Epimorphisms in discriminator varieties\u2019, in: Lectures in Universal Algebra, eds. L. Szab\u00f3 and A. Szendrei, Colloquia Mathematica Societatis, J\u00e1nos Bolyai, 43, Published by J\u00e1nos Bolyai Mathematical Society and Elsevier Science Publishers BV, 1986."},{"issue":"1","key":"205228_CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/2.1.55","volume":"2","author":"J. M. Font","year":"1994","unstructured":"J. M. Font and R. Jansana, \u2018On the sentential logics associated with strongly nice and semi-nice general logics\u2019, Bulletin of the IGPL vol. 2,no. 1 (1994), 55\u201376.","journal-title":"Bulletin of the IGPL"},{"key":"205228_CR12","unstructured":"J. M. Font and R. Jansana, \u2018A comparison of two general approaches to the algebraization of logics\u2019, Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear)."},{"key":"205228_CR13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538592.001.0001","volume-title":"What is a Logical System?","author":"D. M. Gabbay","year":"1994","unstructured":"D. M. Gabbay, What is a Logical System?, Calendron Press, Oxford, 1994."},{"key":"205228_CR14","volume-title":"Lattice Theory (first concept and distributive lattices)","author":"G. Gr\u00c4tzer","year":"1971","unstructured":"G. Gr\u00c4tzer, Lattice Theory (first concept and distributive lattices), W. H. Freeman and Company, San Francisco, 1971."},{"key":"205228_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00c4tzer","year":"1979","unstructured":"G. Gr\u00c4tzer, Universal Algebra, second edition, Springer-Verlag, New York, 1979.","edition":"second edition"},{"key":"205228_CR16","first-page":"101","volume-title":"Arrow Logic and Multi-Modal Logic","author":"V. Gyuris","year":"1996","unstructured":"V. Gyuris, \u2018Associativity does not imply undecidability without the axiom of modal distribution\u2019, in: Arrow Logic and Multi-Modal Logic, M. Marx, L. Polos, M. Masuch (eds.), Studies in Logic, Language and Information, CSLI Publications and Folli, Stanford, 1996, 101\u2013108."},{"key":"205228_CR17","first-page":"79","volume":"18","author":"E. W. Kiss","year":"1983","unstructured":"E. W. Kiss, L. M\u00c1rki, P. Pr\u00d6hle and W. Tholen, \u2018Categorial algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity\u2019, Studia Sci. Math. Hungar. 18 (1983), 79\u2013141.","journal-title":"Studia Sci. Math. Hungar."},{"key":"205228_CR18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P. K\u00d6hler","year":"1980","unstructured":"P. K\u00d6hler and D. Pigozzi, \u2018Varieties with equationally definable principal congruences\u2019, Algebra Universalis 11 (1980), 213\u2013219.","journal-title":"Algebra Universalis"},{"key":"205228_CR19","doi-asserted-by":"crossref","unstructured":"J. X. Madar\u00c1sz, \u2018Interpolation in algebraizable logics; semantics for non normal multi-modal logic\u2019, J. of Applied Non-Classical Logics vol. 8,no. 1\u20132 (1998).","DOI":"10.1080\/11663081.1998.10510933"},{"key":"205228_CR20","unstructured":"J. X. Madar\u00c1sz, \u2018Epimorphisms in discriminator varieties\u2019 (in preparation)."},{"issue":"3","key":"205228_CR21","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1023\/A:1005064504044","volume":"61","author":"J. X. Madar\u00c1sz","year":"1998","unstructured":"J. X. Madar\u00c1sz, \u2018Interpolation and amalgamation; pushing the limits. Part I\u2019, Studia Logica vol. 61,no. 3 (1998), 311\u2013345.","journal-title":"Studia Logica"},{"key":"205228_CR22","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF01053034","volume":"55","author":"L. L. Maksimova","year":"1995","unstructured":"L. L. Maksimova, \u2018On variable separation in modal and superintuitionistic logics\u2019, Studia Logica vol. 55 (1995), 99\u2013112.","journal-title":"Studia Logica"},{"issue":"1","key":"205228_CR23","first-page":"21","volume":"24","author":"L. L. Maksimova","year":"1995","unstructured":"L. L. Maksimova, \u2018On variable separation in modal logics\u2019, Bulletin of the Section of Logic vol. 24,no. 1 (1995), 21\u201325.","journal-title":"Bulletin of the Section of Logic"},{"key":"205228_CR24","first-page":"394","volume-title":"What is a Logical System?","author":"I. N\u00c9meti","year":"1994","unstructured":"I. N\u00c9meti and H. Anadr\u00c9ka, \u2018General algebraic logic. A perspective on What is logic\u2019, in What is a Logical System?, ed. D. Gabbay, Clarendon Press, Oxford, 1994, 394\u2013443."},{"issue":"3","key":"205228_CR25","first-page":"269","volume":"1","author":"D. Pigozzi","year":"1972","unstructured":"D. Pigozzi, \u2018Amalgamation, congruence extension and interpolation properties in algebras\u2019, Algebra Universalis\n1(3) (1972), 269\u2013394.","journal-title":"Algebra Universalis"},{"key":"205228_CR26","unstructured":"I. Sain, \u2018Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators\u2019, preprint, Math. Inst. Hungar. Acad. Sci. (1979, revised 1982)."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005119811423.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005119811423\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005119811423.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:23:26Z","timestamp":1754630606000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005119811423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["205228"],"URL":"https:\/\/doi.org\/10.1023\/a:1005119811423","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}