{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T13:37:32Z","timestamp":1684589852897},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T00:00:00Z","timestamp":1308355200000},"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":[[2011,7]]},"DOI":"10.1007\/s11225-011-9333-3","type":"journal-article","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T22:41:24Z","timestamp":1308350484000},"page":"203-222","source":"Crossref","is-referenced-by-count":7,"title":["Compatible Operations on Residuated Lattices"],"prefix":"10.1007","volume":"98","author":[{"given":"J. L.","family":"Castiglioni","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"H. J.","family":"San Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,6,18]]},"reference":[{"key":"9333_CR1","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974."},{"key":"9333_CR2","first-page":"396","volume":"77","author":"W.J. Blok","year":"1989","unstructured":"Blok W.J., Pigozzi D.: \u2018Algebraizable logics\u2019. Memoirs of the A.M.S. 77, 396 (1989)","journal-title":"Memoirs of the A.M.S."},{"issue":"4","key":"9333_CR3","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K. Blount","year":"2003","unstructured":"Blount K., Tsinakis C.: \u2018The structure of residuated lattices\u2019, Internat. J. Algebra Comput. 13(4), 437\u2013461 (2003)","journal-title":"J. Algebra Comput."},{"key":"9333_CR4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s11225-005-5170-6","volume":"78","author":"X. Caicedo","year":"2004","unstructured":"Caicedo X.: \u2018Implicit connectives of algebraizable logics\u2019. Studia Logica 78, 155\u2013170 (2004)","journal-title":"Studia Logica"},{"issue":"4","key":"9333_CR5","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X. Caicedo","year":"2001","unstructured":"Caicedo X., Cignoli R.: \u2018An algebraic approach to intuitionistic connectives\u2019. Journal of Symbolic Logic 66(4), 1620\u20131636 (2001)","journal-title":"Journal of Symbolic Logic"},{"key":"9333_CR6","first-page":"225","volume":"45","author":"J.L. Castiglioni","year":"2010","unstructured":"Castiglioni J.L., San Mart\u00edn H.J.: \u2018On the variety of heyting algebras with successor generated by all finite chains\u2019. Reports on Mathematical Logic 45, 225\u2013248 (2010)","journal-title":"Reports on Mathematical Logic"},{"key":"9333_CR7","doi-asserted-by":"crossref","first-page":"413","DOI":"10.3166\/jancl.18.413-425","volume":"18","author":"M. Castiglioni","year":"2008","unstructured":"Castiglioni M., Menni J.L., Sagastume M.: \u2018Compatible operations on commutative residuated lattices\u2019. Journal of Applied Non-Classical Logics 18, 413\u2013425 (2008)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9333_CR8","first-page":"201","volume":"45","author":"M. Castiglioni","year":"2010","unstructured":"Castiglioni M., Sagastume J.L., San Mart\u00edn H.J.: \u2018On frontal heyting algebras\u2019. Reports on Mathematical Logic 45, 201\u2013224 (2010)","journal-title":"Reports on Mathematical Logic"},{"issue":"3-4","key":"9333_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3166\/jancl.16.349-366","volume":"16","author":"L. Esakia","year":"2006","unstructured":"Esakia L.: \u2018The modalized heyting calculus: a conservative modal extension of the intuitionistic logic\u2019. Journal of Applied Non-Classical Logics 16(3-4), 349\u2013366 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9333_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF02121119","volume":"36","author":"D.M. Gabbay","year":"1977","unstructured":"Gabbay D.M.: \u2018On some new intuitionistic propositional connectives\u2019. Studia Logica 36, 127\u2013139 (1977)","journal-title":"Studia Logica"},{"key":"9333_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen G.: \u2018Untersuchungen \u00fcber das logische schliessen\u2019. Mathematische Zeitschrift 39, 176\u2013210 (1934)","journal-title":"Mathematische Zeitschrift"},{"key":"9333_CR12","doi-asserted-by":"crossref","unstructured":"Jipsen, P., and C. Tsinakis, \u2018A survey of residuated lattices\u2019, in J. Martinez, (ed.), Ordered algebraic structures, Kluwer Acad. Publ., Dordrecht, 2002, pp. 19\u201356.","DOI":"10.1007\/978-1-4757-3627-4_3"},{"key":"9333_CR13","doi-asserted-by":"crossref","unstructured":"Kaarli, K., and A.F. Pixley, Polynomial completeness in algebraic systems, Chapman and Hall\/CRC, 2001.","DOI":"10.1201\/9781482285758"},{"key":"9333_CR14","first-page":"18","volume":"32","author":"A.V. Kusnetsov","year":"1985","unstructured":"Kusnetsov A.V.: \u2018On the propositional calculus of intuitionistic provability\u2019. Soviet Math. Dokl. 32, 18\u201321 (1985)","journal-title":"Soviet Math. Dokl."},{"key":"9333_CR15","doi-asserted-by":"crossref","unstructured":"Ono, H., \u2018Substructural logics and residuated lattices- an introduction\u2019, in V.F. Hendricks, and J. Malinowski, (eds.), 50 Years of Studia Logica, no. 20 in Trends in Logic, Kluwer Academic Publishers, 2003, pp. 193\u2013228.","DOI":"10.1007\/978-94-017-3598-8_8"},{"key":"9333_CR16","first-page":"275","volume":"81","author":"E. Orlowska","year":"2007","unstructured":"Orlowska E., Rewitzky I.: \u2018Discrete dualities for heyting algebras with operators\u2019. Fundamenta Informaticae 81, 275\u2013295 (2007)","journal-title":"Fundamenta Informaticae"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9333-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9333-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9333-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T19:51:47Z","timestamp":1560282707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9333-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,18]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["9333"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9333-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,18]]}}}