{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T12:58:13Z","timestamp":1755694693376,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T00:00:00Z","timestamp":1551484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["689176"],"award-info":[{"award-number":["689176"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","award":["11220150100412CO"],"award-info":[{"award-number":["11220150100412CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s00153-019-00666-x","type":"journal-article","created":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T03:33:18Z","timestamp":1551497598000},"page":"899-914","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Complete and atomic Tarski algebras"],"prefix":"10.1007","volume":"58","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2542-4128","authenticated-orcid":false,"given":"Sergio Arturo","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,2]]},"reference":[{"issue":"3","key":"666_CR1","first-page":"599","volume":"56","author":"M Abad","year":"2002","unstructured":"Abad, M., Dias Varela, J.P., Zander, M.: Varieties and quasivarieties of monadic tarski algebras. Sientiae Math. Jpn. 56(3), 599\u2013612 (2002)","journal-title":"Sientiae Math. Jpn."},{"issue":"19","key":"666_CR2","first-page":"177","volume":"4","author":"JC Abbott","year":"1967","unstructured":"Abbott, J.C.: Semi-boolean algebras. Mater. Vesn. 4(19), 177\u2013198 (1967)","journal-title":"Mater. Vesn."},{"key":"666_CR3","first-page":"3","volume":"11","author":"JC Abbott","year":"1967","unstructured":"Abbott, J.C.: Implicational algebras. Bull. Math. R. Soc. Roum. 11, 3\u201323 (1967)","journal-title":"Bull. Math. R. Soc. Roum."},{"issue":"79","key":"666_CR4","first-page":"1","volume":"31","author":"D Busneag","year":"1987","unstructured":"Busneag, D.: On the maximal deductive systems of a bounded Hilbert algebra. Bull. Math. Soc. Sci. Math. Roum. Tomo 31(79), 1\u201313 (1987)","journal-title":"Bull. Math. Soc. Sci. Math. Roum. Tomo"},{"issue":"1","key":"666_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1155\/S0161171202011134","volume":"29","author":"SA Celani","year":"2002","unstructured":"Celani, S.A.: A note on homomorphism of Hilbert algebras. Int. J. Math. Math. Sci. 29(1), 55\u201361 (2002)","journal-title":"Int. J. Math. Math. Sci."},{"key":"666_CR6","first-page":"113","volume":"39","author":"SA Celani","year":"2005","unstructured":"Celani, S.A.: Modal tarski algebras. Rep. Math. Log. 39, 113\u2013126 (2005)","journal-title":"Rep. Math. Log."},{"key":"666_CR7","first-page":"41","volume":"37","author":"I Chajda","year":"1998","unstructured":"Chajda, I., Hala\u0161, P., Zedn\u00edk, J.: Filters and annihilators in implication algebras. Acta Univ. Palacki. Olomuc. Fac. Rer. Nat. Math. 37, 41\u201345 (1998)","journal-title":"Acta Univ. Palacki. Olomuc. Fac. Rer. Nat. Math."},{"key":"666_CR8","unstructured":"Diego A.: Sur les alg\u00e9bras de Hilbert. Coll\u00e9ction de Logique Math\u00e8matique, serie A, 21, Gouthier-Villars, Paris (1966)"},{"key":"666_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06743-8","volume-title":"Duality theories for Boolean Algebras with Operators","author":"S Givant","year":"2014","unstructured":"Givant, S.: Duality theories for Boolean Algebras with Operators. Springer, Berlin (2014)"},{"key":"666_CR10","volume-title":"Introduction to Boolean Algebras, Undergraduate Texts in Mathematics","author":"S Givant","year":"2009","unstructured":"Givant, S., Halmos, P.: Introduction to Boolean Algebras, Undergraduate Texts in Mathematics. Springer, New York (2009)"},{"key":"666_CR11","first-page":"135","volume":"53","author":"J Jarvinen","year":"2002","unstructured":"Jarvinen, J.: On the structure of rough approximations. Fund. Inf. 53, 135\u2013153 (2002)","journal-title":"Fund. Inf."},{"key":"666_CR12","doi-asserted-by":"crossref","unstructured":"Kondo M.: Algebraic approach to generalized rough sets, In: Wang, D., Szczuka, G.M., D\u00fcntsch, I., Yao, Y. (eds.) Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. RSFDGrC: Lecture Notes in Computer Science, vol. 3641, p. 2005. Springer, Berlin (2005)","DOI":"10.1007\/11548669_14"},{"key":"666_CR13","unstructured":"Monteiro A.: Sur les alg\u00e8bres de Heyting sym\u00e9triques. Portugaliae Mathematica 39, fasc. 1\u20134 (1980)"},{"key":"666_CR14","doi-asserted-by":"publisher","first-page":"439","DOI":"10.2307\/2272167","volume":"40","author":"SK Thomason","year":"1975","unstructured":"Thomason, S.K.: Categories of frames for modal logic. J. Symb. Log. 40, 439\u2013442 (1975)","journal-title":"J. Symb. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00666-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-019-00666-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00666-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,29]],"date-time":"2020-02-29T19:22:42Z","timestamp":1583004162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-019-00666-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,2]]},"references-count":14,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["666"],"URL":"https:\/\/doi.org\/10.1007\/s00153-019-00666-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2019,3,2]]},"assertion":[{"value":"17 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}