{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:41Z","timestamp":1759032581981},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,10,20]],"date-time":"2012-10-20T00:00:00Z","timestamp":1350691200000},"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":[[2012,12]]},"DOI":"10.1007\/s11225-012-9451-6","type":"journal-article","created":{"date-parts":[[2012,10,19]],"date-time":"2012-10-19T12:18:52Z","timestamp":1350649132000},"page":"1255-1269","source":"Crossref","is-referenced-by-count":3,"title":["On some Classes of Heyting Algebras with Successor that have the Amalgamation Property"],"prefix":"10.1007","volume":"100","author":[{"given":"Jos\u00e9 L.","family":"Castiglioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Hern\u00e1n J.","family":"San Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,20]]},"reference":[{"key":"9451_CR1","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Miss, 1974."},{"issue":"1","key":"9451_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M. Gehrke","year":"2001","unstructured":"Gehrke M., Harding J.: Bounded lattice expansions. J. Algebra 238(1), 345\u2013371 (2001)","journal-title":"J. Algebra"},{"issue":"2","key":"9451_CR3","first-page":"207","volume":"40","author":"M. Gehrke","year":"1994","unstructured":"Gehrke M., J\u00f3nsson B.: Bounded distributive lattices with operators. Math. Jpn. 40(2), 207\u2013215 (1994)","journal-title":"Math. Jpn."},{"issue":"3","key":"9451_CR4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1017\/S1755020309990177","volume":"2","author":"G. Bezhanishvili","year":"2009","unstructured":"Bezhanishvili G., Bezhanishvili N.: An Algebraic Approach to Canonical Formulas: Intuitionistic Case. Review of Symbolic Logic 2(3), 517\u2013549 (2009)","journal-title":"Review of Symbolic Logic"},{"key":"9451_CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s11083-006-9037-x","volume":"23","author":"G. Bezhanishvili","year":"2006","unstructured":"Bezhanishvili G., Gehrke M., Mines R., Morandi P.: Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23, 143\u2013161 (2006)","journal-title":"Order"},{"issue":"4","key":"9451_CR6","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X. Caicedo","year":"2001","unstructured":"Caicedo X., Cignoli R.: An algebraic approach to intuitionistic connectives. Journal of Symbolic Logic 66(4), 1620\u20131636 (2001)","journal-title":"Journal of Symbolic Logic"},{"key":"9451_CR7","unstructured":"Caicedo, X., Kripke semantics for Kusnetzov connective. Personal comunication, 2008."},{"key":"9451_CR8","unstructured":"Castiglioni, J. L., M. Sagastume and H. J. San Mart\u00edn, On frontal Heyting algebras, Reports on Mathematical Logic 45:201\u2013224, 2010."},{"key":"9451_CR9","unstructured":"Castiglioni, J.L. and H.J. San Mart\u00edn, On the variety of Heyting algebras with successor generated by all finite chains, Reports on Mathematical Logic 45:225\u2013248, 2010."},{"key":"9451_CR10","doi-asserted-by":"crossref","unstructured":"D\u2019 Agostino, L., Interpolation in non-classical logics, Synthese 164:421\u2013435, 2008.","DOI":"10.1007\/s11229-008-9359-x"},{"key":"9451_CR11","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia L.: Topological Kripke models. Soviet. Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Soviet. Math. Dokl."},{"key":"9451_CR12","doi-asserted-by":"crossref","unstructured":"Esakia, L., The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic, Journal of Applied Non-Classical Logics 16(3-4):349\u2013366, 2006.","DOI":"10.3166\/jancl.16.349-366"},{"key":"9451_CR13","unstructured":"Fitting, M.C., Intuitionistic Logic Model Theory and Forcing, North-Holland, 1969."},{"key":"9451_CR14","doi-asserted-by":"crossref","unstructured":"Fra\u00efss\u00e9, R., Sur l\u2019extension aux relations de quelques proprits des ordres, Ann. Sci. \u00c9cole Norm. Sup. 71(3):363\u2013388, 1954.","DOI":"10.24033\/asens.1027"},{"key":"9451_CR15","unstructured":"Hoogland, E., Definability and Interpolation. Model-theoretic investigations, Institute for Logic, Language and Computation, 2001."},{"key":"9451_CR16","first-page":"18","volume":"32","author":"A.V. Kuznetsov","year":"1985","unstructured":"Kuznetsov A.V.: On the Propositional Calculus of Intuitionistic Provability. Soviet Math. Dokl. 32, 18\u201321 (1985)","journal-title":"Soviet Math. Dokl."},{"key":"9451_CR17","doi-asserted-by":"crossref","unstructured":"Maksimova, L. L., Craigs theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras, Algebra i Logika 16(6):643\u2013681, 1977.","DOI":"10.1007\/BF01670006"},{"key":"9451_CR18","unstructured":"Rasiowa, H., An algebraic approach to non-clasical logics, North Holland, Amsterdam, 1974."},{"key":"9451_CR19","unstructured":"Rasiowa, H., and R. Sikorski, The mathematics of methamathematics, Polish Scientific Publishers, Warsaw, 1963."},{"key":"9451_CR20","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF02952517","volume":"5","author":"O. Schreier","year":"1927","unstructured":"Schreier O.: Die Untergruppen der freien Gruppen. Abh. Math. Sem. Univ. Hamburg 5, 161\u2013183 (1927)","journal-title":"Abh. Math. Sem. Univ. Hamburg"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9451-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9451-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9451-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T20:55:52Z","timestamp":1562273752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9451-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,20]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9451"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9451-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,20]]}}}