{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:11:00Z","timestamp":1759032660189,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003947","name":"UNLP","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003947","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s00500-015-1693-6","type":"journal-article","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T03:08:46Z","timestamp":1430363326000},"page":"2735-2742","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On products of posets and coproducts of KM-algebras"],"prefix":"10.1007","volume":"19","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":[[2015,5,1]]},"reference":[{"key":"1693_CR1","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia"},{"issue":"4","key":"1693_CR2","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X Caicedo","year":"2001","unstructured":"Caicedo X, Cignoli R (2001) An algebraic approach to intuitionistic connectives. J Symb Log 66(4):1620\u20131636","journal-title":"J Symb Log"},{"key":"1693_CR3","first-page":"201","volume":"45","author":"JL Castiglioni","year":"2010","unstructured":"Castiglioni JL, Sagastume M, San Mart\u00edn HJ (2010) On frontal Heyting algebras. Rep Math Log 45:201\u2013224","journal-title":"Rep Math Log"},{"key":"1693_CR4","doi-asserted-by":"crossref","first-page":"1255","DOI":"10.1007\/s11225-012-9451-6","volume":"100","author":"JL Castiglioni","year":"2011","unstructured":"Castiglioni JL, San Mart\u00edn HJ (2011) On some classes of Heyting algebras with successor that have the amalgamation property. Studia Logica 100:1255\u20131269","journal-title":"Studia Logica"},{"key":"1693_CR5","first-page":"147","volume":"15","author":"L Esakia","year":"1974","unstructured":"Esakia L (1974) Topological Kripke model. Soviet Math Dokl 15:147\u2013151","journal-title":"Soviet Math Dokl"},{"issue":"3\u20134","key":"1693_CR6","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3166\/jancl.16.349-366","volume":"16","author":"L Esakia","year":"2006","unstructured":"Esakia L (2006) The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic. J Appl Non-Class Log 16(3\u20134):349\u2013366","journal-title":"J Appl Non-Class Log"},{"key":"1693_CR7","first-page":"111","volume":"17","author":"L Esakia","year":"2008","unstructured":"Esakia L, Grigoglia R (2008) Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Log Log Philos 17:111\u2013127","journal-title":"Log Log Philos"},{"key":"1693_CR8","unstructured":"Harzheim E (2005) Ordered sets. Advances in mathematics, vol 7, 1st edn. Springer, US"},{"key":"1693_CR9","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A Horn","year":"1969","unstructured":"Horn A (1969) Logic with truth values in a linearly ordered Heyting algebra. J Symb Log 34:395\u2013405","journal-title":"J Symb Log"},{"issue":"1","key":"1693_CR10","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01881551","volume":"45","author":"AV Kuznetsov","year":"1986","unstructured":"Kuznetsov AV, Muravitsky AY (1986) On superintuitionistic logics as fragments of proof logic extensions. Studia Logica 45(1):77\u201399","journal-title":"Studia Logica"},{"key":"1693_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1006224930256","volume":"15","author":"G Mart\u00ednez","year":"1998","unstructured":"Mart\u00ednez G, Priestley HA (1998) On Priestley spaces of lattice-ordered algebraic structures. Order 15:297\u2013323","journal-title":"Order"},{"key":"1693_CR12","unstructured":"Monteiro A (1980) Sur les alg\u00e8bres de Heyting sym\u00e9triques. Portugaliae Mathematica 39(1\u20134):1\u2013237. http:\/\/eudml.org\/doc\/115416"},{"issue":"4","key":"1693_CR13","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/BF00970634","volume":"31","author":"AY Muravitsky","year":"1990","unstructured":"Muravitsky AY (1990) Magari and $$\\Delta $$ \u0394 -pseudo-Boolean algebras. Sib Math J 31(4):623\u2013628","journal-title":"Sib Math J"},{"issue":"2","key":"1693_CR14","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1070\/SM1988v059n02ABEH003142","volume":"59","author":"AY Muravitsky","year":"1988","unstructured":"Muravitsky AY (1988) An algebraic of the separation property for an intuitionistic provability calculus. Math USSR Sbornik 59(2):397\u2013406","journal-title":"Math USSR Sbornik"},{"key":"1693_CR15","doi-asserted-by":"crossref","unstructured":"Muravitsky AY (2014) Logic KM: a biography. In: Leo Esakia on Duality of Modal and Intuitionistics logics. Series: Outstanding Contributions to Logic, vol 4. Springer, Berlin, pp 147\u2013177","DOI":"10.1007\/978-94-017-8860-1_7"},{"key":"1693_CR16","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley HA (1970) Representation of distributive lattices by means of ordered Stone spaces. Bull Lond Math Soc 2:186\u2013190","journal-title":"Bull Lond Math Soc"},{"issue":"5\u20136","key":"1693_CR17","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/BF01158092","volume":"47","author":"AG Simonova","year":"1990","unstructured":"Simonova AG (1990) On the interpolation property for extensions of proof intuitionistic logic. Math Notes 47(5\u20136):483\u2013490","journal-title":"Math Notes"},{"key":"1693_CR18","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R Solovay","year":"1976","unstructured":"Solovay R (1976) Provability interpretation of modal logics. Israel J Math 25:287\u2013304","journal-title":"Israel J Math"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1693-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-015-1693-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-015-1693-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:43:47Z","timestamp":1559079827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-015-1693-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,1]]},"references-count":18,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["1693"],"URL":"https:\/\/doi.org\/10.1007\/s00500-015-1693-6","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2015,5,1]]}}}