{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:07:38Z","timestamp":1759147658112},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s0165-0114(02)00565-1","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T14:08:58Z","timestamp":1041257338000},"page":"3-23","source":"Crossref","is-referenced-by-count":1,"title":["Strong amalgamation, Beck\u2013Chevalley for equivalence relations and interpolation in algebraic logic"],"prefix":"10.1016","volume":"138","author":[{"given":"Adriana","family":"Galli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gonzalo","family":"E. Reyes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Sagastume","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0165-0114(02)00565-1_BIB1","series-title":"Exact Categories and Categories of Sheaves","article-title":"Exact categories","volume":"Vol. 236","author":"Barr","year":"1971"},{"key":"10.1016\/S0165-0114(02)00565-1_BIB2","article-title":"Handbook of Categorical Algebra","volume":"Vol. 50","author":"Borceux","year":"1994"},{"key":"10.1016\/S0165-0114(02)00565-1_BIB3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1307\/mmj\/1028999084","article-title":"Freedom in polyadic algebras and two theorems of Beth and Craig","volume":"11","author":"Daigneault","year":"1964","journal-title":"Michigan Math. J."},{"key":"10.1016\/S0165-0114(02)00565-1_BIB4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1005238330484","article-title":"Completeness theorems via the double dual functor","volume":"64","author":"Galli","year":"2000","journal-title":"Studia Logica"},{"issue":"2","key":"10.1016\/S0165-0114(02)00565-1_BIB5","first-page":"207","article-title":"Bounded distributive lattices with operators","volume":"40","author":"Gehrke","year":"1994","journal-title":"Math. Japonica"},{"key":"10.1016\/S0165-0114(02)00565-1_BIB6","unstructured":"M. Gehrke, B. J\u00f3nsson, Bounded distributive lattice expansions, to appear."},{"key":"10.1016\/S0165-0114(02)00565-1_BIB7","unstructured":"F. Magnan, Le topos des types et le topos de filtres en logique cat\u00e9gorique, Th\u00e8se de doctorat, Universit\u00e9 de Montr\u00e9al, 1999."},{"issue":"3","key":"10.1016\/S0165-0114(02)00565-1_BIB8","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1305\/ndjfl\/1040149353","article-title":"On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic","volume":"36","author":"Makkai","year":"1995","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0165-0114(02)00565-1_BIB9","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0168-0072(93)00085-4","article-title":"Completeness results for intuitionistic and modal logic in a categorical setting","volume":"72","author":"Makkai","year":"1995","journal-title":"Ann. Pure Appl. Logic"},{"issue":"6","key":"10.1016\/S0165-0114(02)00565-1_BIB10","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/BF01670006","article-title":"The Craig interpolation in superintuitionistic logics and amalgamable varieties of pseudo boolean algebras","volume":"16","author":"Maksimova","year":"1977","journal-title":"Algebra i Logika"},{"issue":"5","key":"10.1016\/S0165-0114(02)00565-1_BIB11","first-page":"556","article-title":"Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras","volume":"18","author":"Maksimova","year":"1980","journal-title":"Algebra i Logika"},{"issue":"2","key":"10.1016\/S0165-0114(02)00565-1_BIB12","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/BF01669837","article-title":"Interpolation theorems in modal logics\u2014Sufficient conditions","volume":"19","author":"Maksimova","year":"1980","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0165-0114(02)00565-1_BIB13","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0022-4049(83)90104-4","article-title":"Amalgamation and interpolation in the category of Heyting algebras","volume":"29","author":"Pitts","year":"1983","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"10.1016\/S0165-0114(02)00565-1_BIB14","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/BF01053262","article-title":"Formal systems for modal operators on locales","volume":"52","author":"Reyes","year":"1993","journal-title":"Studia Logica"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011402005651?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011402005651?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T10:56:22Z","timestamp":1553943382000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011402005651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S0165011402005651"],"URL":"https:\/\/doi.org\/10.1016\/s0165-0114(02)00565-1","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}