{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T10:04:43Z","timestamp":1772445883869,"version":"3.50.1"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s11225-006-8298-0","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T06:36:05Z","timestamp":1152772565000},"page":"49-90","source":"Crossref","is-referenced-by-count":27,"title":["The Beth Property in Algebraic Logic"],"prefix":"10.1007","volume":"83","author":[{"given":"W. J.","family":"Blok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eva","family":"Hoogland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8298_CR1","unstructured":"ANDERSON, A. R., and N. D. BELNAP, Jnr., Entailment: The Logic of Relevance and Necessity. Volume 1, Princeton University Press, 1975."},{"key":"8298_CR2","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-94-017-0452-6_3","volume-title":"Handbook of Philosophical Logic Vol. 2","author":"H. ANDREKA","year":"2001","unstructured":"ANDREKA, H., I. NEMETI, and I. SAIN, \u2018Algebraic Logic\u2019, in D. GABBAY and F. GUENTHER, (eds.), Handbook of Philosophical Logic Vol. 2. 2nd ed., pp. 133\u2013247, Kluwer, Dordrecht, 2001.","edition":"2nd ed."},{"issue":"4","key":"8298_CR3","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E. W. BETH","year":"1953","unstructured":"BETH, E. W., \u2018On Padoa's method in the theory of definitions\u2019, Nederl. Akad. Weten-sch. Proc. Ser. A 56 = Indagationes Math. 15(4) (1953), 330\u2013339.","journal-title":"Nederl. Akad. Weten-sch. Proc. Ser. A 56 = Indagationes Math."},{"key":"8298_CR4","unstructured":"BLOK W. J., and B. JONSSON, \u2018Algebraic structures for logic\u2019, A course given at the 23rd Holiday Mathematics Symposium, New Mexico State University, January 1999. Available at http:\/\/math.nmsu.edu\/ holysymp\/lectures.html"},{"key":"8298_CR5","doi-asserted-by":"crossref","unstructured":"BLOK W. J., and B. JONSSON, \u2018Equivalence of consequence operations\u2019, Studia Logica 91\u2013110 of this issue.","DOI":"10.1007\/s11225-006-8299-z"},{"key":"8298_CR6","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. BLOK","year":"1986","unstructured":"BLOK, W. J., and D. PIGOZZI, \u2018Protoalgebraic logics\u2019, Studia Logica 45 (1986), 337\u2013369.","journal-title":"Studia Logica"},{"key":"8298_CR7","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., and D. PlGOZZI, \u2018Algebraizable Logics\u2019, Memoirs of the American Mathematical Society, 77, Number 396, Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"8298_CR8","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W. J. BLOK","year":"1992","unstructured":"BLOK, W. J., and D. PIGOZZI, \u2018Algebraic semantics for universal Horn logic without equality\u2019, in J.D.H. SMITH and A. ROMANOWSKA, (eds.), Universal Algebra and Quasigroup Theory, pp. 1\u201356, Heldermann Verlag, Berlin, 1992."},{"key":"8298_CR9","unstructured":"BLOK W. J., and D. PlGOZZI, \u2018Abstract algebraic logic and the deduction theorem\u2019, manuscript, 1997. [See http:\/\/orion.math.iastate.edu\/dpigozzi\/ for updated version, 2001.]"},{"key":"8298_CR10","doi-asserted-by":"crossref","first-page":"759","DOI":"10.4153\/CMB-1965-056-x","volume":"8","author":"W. BURGESS","year":"1965","unstructured":"BURGESS, W., \u2018The meaning of mono and epi in some familiar categories\u2019, Canad. Math. Bull. 8 (1965), 759\u2013769.","journal-title":"Canad. Math. Bull."},{"key":"8298_CR11","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C. C. CHANG","year":"1958","unstructured":"CHANG, C. C., \u2018Algebraic analysis of many valued logics\u2019, Trans. Amer. Math. Soc. 88 (1958), 467\u2013490.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8298_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning, Volume 7 of Trends in Logic-Studia Logica Library","author":"R. L. O. CIGNOLI","year":"2000","unstructured":"CIGNOLI, R. L. O., I. M. L. D'OTTAVIANO and D. MUNDICI, Algebraic Foundations of Many-valued Reasoning, Volume 7 of Trends in Logic-Studia Logica Library. Kluwer, Dordrecht, 2000."},{"key":"8298_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. CZELAKOWSKI","year":"1981","unstructured":"CZELAKOWSKI, J., \u2018Equivalential logics, I and IP, Studia Logica 40 (1981), 227\u2013236, 355\u2013372.","journal-title":"Studia Logica"},{"issue":"4","key":"8298_CR14","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BF00403332","volume":"41","author":"J. CZELAKOWSKI","year":"1982","unstructured":"CZELAKOWSKI, J., \u2018Logical matrices and the amalgamation property\u2019, Studia Logica 41(4) (1982), 329\u2013341.","journal-title":"Studia Logica"},{"key":"8298_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J. CZELAKOWSKI","year":"2001","unstructured":"CZELAKOWSKI, J., Protoalgebraic Logics, Kluwer, Dordrecht, 2001."},{"key":"8298_CR16","first-page":"187","volume-title":"Models. Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics","author":"J. CZELAKOWSKI","year":"1999","unstructured":"CZELAKOWSKI, J., and D. PIGOZZI, \u2018Amalgamation and interpolation in abstract algebraic logic\u2019, in X. CAICEDO and C. H. MONTENEGRO, (eds.), Models. Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics, No. 203, pp. 187\u2013265, Marcel Dekker, New York, 1999."},{"key":"8298_CR17","volume-title":"\u2018Sur les algebras de Hilbert\u2019, Collection de Logique Mathematique, Ser. A, Fasc. XXI","author":"A. DlEGO","year":"1966","unstructured":"DlEGO, A., \u2018Sur les algebras de Hilbert\u2019, Collection de Logique Mathematique, Ser. A, Fasc. XXI. Gauthier-Villars, Paris, 1966."},{"key":"8298_CR18","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J. M. FONT","year":"2003","unstructured":"FONT, J. M., R. JANSANA and D. PiGOZZI, \u2018A survey of abstract algebraic logic\u2019, Studio, Logica 74 (2003), 13\u201397.","journal-title":"Studio, Logica"},{"key":"8298_CR19","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1002\/malq.19900360606","volume":"36","author":"J.M. FONT","year":"1990","unstructured":"FONT, J.M., and G. RODRIGUEZ, \u2018Note on algebraic models for relevance logic\u2019, Zeitschr. f. math. Logik und Grundlagen d. Math. 36 (1990), 535\u2013540.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"8298_CR20","doi-asserted-by":"crossref","unstructured":"GALATOS, N., and H. ONO, \u2018Algebraization, parametrized local deduction theorem and interpolation for substructural logics over PL\u2019, Studia Logica 279\u2013308 of this issue.","DOI":"10.1007\/s11225-006-8305-5"},{"key":"8298_CR21","first-page":"343","volume":"156","author":"G. GRATZER","year":"1971","unstructured":"GRATZER, G., and H. LAKSER, \u2018The structure of pseudocomplemented distributive lattices. II: Congruence extension and amalgamation\u2019, Trans. Amer. Math. Soc. 156 (1971), 343\u2013358.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8298_CR22","volume-title":"Cylindric Algebras. Parts I and II","author":"L. HENKIN","year":"1971 and 1985","unstructured":"HENKIN, L., J. D. MONK, and A. TARSKI, Cylindric Algebras. Parts I and II, North-Holland, Amsterdam, 1971 and 1985."},{"key":"8298_CR23","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B. HERRMANN","year":"1996","unstructured":"HERRMANN, B., \u2018Equivalential and algebraizable logics\u2019, Studia Logica 57 (1996), 419\u2013436.","journal-title":"Studia Logica"},{"key":"8298_CR24","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"B. HERRMANN","year":"1997","unstructured":"HERRMANN, B., \u2018Characterizing equivalential and algebraizable logics by the Leibniz operator\u2019, Studia Logica 58 (1997), 305\u2013323.","journal-title":"Studia Logica"},{"key":"8298_CR25","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/A:1005295109904","volume":"65","author":"E. HOOGLAND","year":"2000","unstructured":"HOOGLAND, E., \u2018Algebraic characterizations of various Beth definability properties\u2019, Studia Logica 65 (2000), 91\u2013112.","journal-title":"Studia Logica"},{"key":"8298_CR26","unstructured":"HOOGLAND, E., Definability and Interpolation: model-theoretic investigations. PhD thesis, Institute for Logic, Language and Computation. University of Amsterdam, 2001."},{"key":"8298_CR27","first-page":"79","volume":"18","author":"E. W. Kiss","year":"1983","unstructured":"Kiss, E. W., L. MARKI, P. PROHLE, and W. THOLEN, \u2018Categorical 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":"8298_CR28","volume-title":"Tools and Techniques in Modal Logic, Vol. 142 of Studies in Logic and the Foundations of Mathematics","author":"M. KRACHT","year":"1999","unstructured":"KRACHT, M., Tools and Techniques in Modal Logic, Vol. 142 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1999."},{"key":"8298_CR29","volume-title":"Elements of Mathematical Logic (Model Theory)","author":"G. KREISEL","year":"1971","unstructured":"KREISEL, G., and J.L. KRIVINE, Elements of Mathematical Logic (Model Theory), North-Holland, Amsterdam, 1971."},{"key":"8298_CR30","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J. Los","year":"1958","unstructured":"Los, J., and R. SUSZKO, \u2018Remarks on sentential logics\u2019, Nederl. Akad. Wetensch. Proc. Ser. A 61 = Indagationes Math. 20 (1958), 177\u2013183.","journal-title":"Nederl. Akad. Wetensch. Proc. Ser. A 61 = Indagationes Math."},{"issue":"cl. iii","key":"8298_CR31","first-page":"51","volume":"23","author":"J. LUKASIEWICZ","year":"1930","unstructured":"LUKASIEWICZ, J., and A. TARSKI, \u2018Untersuchungen iiber den Aussagenkalkiil\u2019, Comptes rendus de la Societe des Sciences et des Lettres de Varsovie 23(cl. iii) (1930), 51\u201377.","journal-title":"Comptes rendus de la Societe des Sciences et des Lettres de Varsovie"},{"key":"8298_CR32","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF02259848","volume":"31","author":"L. L. MAKSIMOVA","year":"1992","unstructured":"MAKSIMOVA, L. L., \u2018Modal logics and varieties of modal algebras: the Beth property, interpolation and amalgamation\u2019, Algebra and Logic 31 (1992), 145\u2013166.","journal-title":"Algebra and Logic"},{"key":"8298_CR33","first-page":"327","volume":"44","author":"L. L. MAKSIMOVA","year":"1992","unstructured":"MAKSIMOVA, L. L., \u2018Beth properties, interpolation and amalgamation in varieties of modal algebras\u2019, Soviet Math. Doklady 44 (1992), 327\u2013331.","journal-title":"Soviet Math. Doklady"},{"key":"8298_CR34","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1090\/conm\/131.3\/1175909","volume":"131","author":"L.L. MAKSIMOVA","year":"1992","unstructured":"MAKSIMOVA, L.L., \u2018Definability and interpolation in classical modal logics\u2019, Contemporary Mathematics 131 (1992), 583\u2013599.","journal-title":"Contemporary Mathematics"},{"key":"8298_CR35","first-page":"36","volume":"27","author":"L.L. MAKSIMOVA","year":"1998","unstructured":"MAKSIMOVA, L.L., \u2018Explicit and implicit definability in modal and related logics\u2019, Bulletin of the Section of Logic 27 (1998), 36\u201339.","journal-title":"Bulletin of the Section of Logic"},{"key":"8298_CR36","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0168-0072(99)00049-4","volume":"105","author":"L. L. MAKSIMOVA","year":"2000","unstructured":"MAKSIMOVA, L. L., \u2018Intuitionistic logic and implicit definability\u2019, Annals of Pure and Applied Logic 105 (2000), 83\u2013102.","journal-title":"Annals of Pure and Applied Logic"},{"key":"8298_CR37","first-page":"13","volume":"3","author":"J. MALINOWSKI","year":"1986","unstructured":"MALINOWSKI, J., \u2018Modal equivalential logics\u2019, J. Non-Classical Logic 3 (1986), 13\u201335.","journal-title":"J. Non-Classical Logic"},{"key":"8298_CR38","unstructured":"MALINOWSKI, J., Equivalence in intensional logics. PhD thesis, The Polish Academy of Sciences, Institute of Philosophy and Sociology, 1989."},{"key":"8298_CR39","first-page":"118","volume-title":"\u2018Essai d'une theorie algebrique des nombres entiers, precede d'une introduction logique a une theorie deductive quelconque\u2019, Bibliotheque du Congres international de philosophic. Paris 1900, Vol. 3","author":"A. PADOA","year":"1901","unstructured":"PADOA, A., \u2018Logical introduction to any deductive theory\u2019, English translation in [52], pp. 118\u2013123, of \u2018Essai d'une theorie algebrique des nombres entiers, precede d'une introduction logique a une theorie deductive quelconque\u2019, Bibliotheque du Congres international de philosophic. Paris 1900, Vol. 3, pp. 309\u2013365, Armand Colin, Paris, 1901."},{"issue":"6","key":"8298_CR40","first-page":"913","volume":"33","author":"K. PALASINSKA","year":"1988","unstructured":"PALASINSKA, K., \u2018The failure of strong amalgamation property in certain classes of BCK-algebras\u2019, Math. Japonica 33(6) (1988), 913\u2013917.","journal-title":"Math. Japonica"},{"key":"8298_CR41","unstructured":"PALASINSKA, K., Deductive systems and finite axiomatization properties. Doctoral Dissertation, Iowa State University, 1994."},{"key":"8298_CR42","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1024630124326","volume":"74","author":"K. PALASINSKA","year":"2003","unstructured":"PALASINSKA, K., \u2018Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes\u2019, Studia Logica 74 (2003), 233\u2013273.","journal-title":"Studia Logica"},{"issue":"1","key":"8298_CR43","first-page":"30","volume":"3","author":"T. PRUCNAL","year":"1974","unstructured":"PRUCNAL, T., and A. WRONSKI, \u2018An algebraic characterization of the notion of structural completeness\u2019, Bulletin of the Section of Logic 3(1) (1974), 30\u201333.","journal-title":"Bulletin of the Section of Logic"},{"key":"8298_CR44","first-page":"11","volume":"33","author":"A. P. PYNKO","year":"1999","unstructured":"PYNKO, A. P., \u2018Implication systems for many-dimensional logics\u2019, Reports on Mathematical Logic 33 (1999), 11\u201327.","journal-title":"Reports on Mathematical Logic"},{"key":"8298_CR45","volume-title":"An Algebraic Approach to Non-Classical Logics, Vol. 78 of Studies in Logic and the Foundations of Mathematics","author":"H. RASIOWA","year":"1974","unstructured":"RASIOWA, H., An Algebraic Approach to Non-Classical Logics, Vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974."},{"issue":"4","key":"8298_CR46","doi-asserted-by":"crossref","first-page":"1419","DOI":"10.1017\/S0022481200041177","volume":"54","author":"G. RENARDEL DE LAVALETTE","year":"1989","unstructured":"RENARDEL DE LAVALETTE, G., \u2018Interpolation in fragments of intuitionistic prepositional logic\u2019, J. Symbolic Logic 54(4) (1989), 1419\u20131430.","journal-title":"J. Symbolic Logic"},{"key":"8298_CR47","volume-title":"Relevant Logics and their Rivals. Part I. The basic philosophical and semantical theory","author":"R. R. ROUTLEY","year":"1982","unstructured":"ROUTLEY, R., R., K. MEYER, V. PLUMWOOD, and R., T. BRADY, Relevant Logics and their Rivals. Part I. The basic philosophical and semantical theory, Ridgeview Publishing Company, Atascadero, California, 1982."},{"key":"8298_CR48","volume-title":"Automated Theorem-Proving in Non-Classical Logics","author":"P. B. TfflSTLEWAITE","year":"1988","unstructured":"TfflSTLEWAITE, P. B., M. A. McRoBBIE, and R., K. MEYER, Automated Theorem-Proving in Non-Classical Logics, Pitman, London, 1988."},{"issue":"1","key":"8298_CR49","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1013849310522","volume":"43","author":"D.E. TISHKOWSKI","year":"2002","unstructured":"TISHKOWSKI, D.E., \u2018On the Beth property in extensions of Lukasiewicz logics\u2019, Siberian Mathematical Journal 43(1) (2002), 183\u2013187.","journal-title":"Siberian Mathematical Journal"},{"key":"8298_CR50","volume-title":"Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic","author":"A. URQUHART","year":"1984","unstructured":"URQUHART, A., \u2018Many-valued logic\u2019, in D. GABBAY and F. GUENTHER, (eds.), Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic, Synthese Library, Reidel, Dordrecht, 1984."},{"key":"8298_CR51","volume-title":"Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Studies in Fuzziness and Soft Computing","author":"A. URQUHART","year":"1999","unstructured":"URQUHART, A., \u2018Beth's definability theorem in relevant logics\u2019, in E. ORLOWSKA (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Studies in Fuzziness and Soft Computing, Springer-Verlag, Berlin\/Heidelberg, 1999."},{"key":"8298_CR52","volume-title":"From Frege to Godel. A Sourcebook of Mathematical Logic. 1879\u20131931","year":"1969","unstructured":"VAN HEUENOORT, J., (ed.), From Frege to Godel. A Sourcebook of Mathematical Logic. 1879\u20131931, Harvard University Press, Cambridge, Massachusetts, 1969."},{"key":"8298_CR53","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02123806","volume":"32","author":"R. WOJCICKI","year":"1973","unstructured":"WOJCICKI, R., \u2018Matrix approach in the methodology of sentential calculi\u2019, Studia Logica 32 (1973), 7\u201337.","journal-title":"Studia Logica"},{"key":"8298_CR54","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. WOJCICKI","year":"1988","unstructured":"WOJCICKI, R., Theory of Logical Calculi, Kluwer, Dordrecht, 1988."},{"key":"8298_CR55","volume-title":"Interpolation for fragments of the propositional calculus","author":"J. I. ZUCKER","year":"1978","unstructured":"ZUCKER, J. I., \u2018Interpolation for fragments of the propositional calculus\u2019, Preprint ZW 116\/78, Mathematisch Centrum, Amsterdam, 1978."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8298-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8298-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8298-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:40Z","timestamp":1559370280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8298-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":55,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8298"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8298-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}