{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T21:30:01Z","timestamp":1771536601903,"version":"3.50.1"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,18]],"date-time":"2017-11-18T00:00:00Z","timestamp":1510963200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s11225-017-9765-5","type":"journal-article","created":{"date-parts":[[2017,11,18]],"date-time":"2017-11-18T02:17:47Z","timestamp":1510971467000},"page":"757-788","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Latarres, Lattices with an Arrow"],"prefix":"10.1007","volume":"106","author":[{"given":"Mohammad","family":"Ardeshir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9861-4216","authenticated-orcid":false,"given":"Wim","family":"Ruitenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,18]]},"reference":[{"issue":"2","key":"9765_CR1","first-page":"247","volume":"23","author":"M Alizadeh","year":"2015","unstructured":"Alizadeh, M., and N. Joharizadeh, Counting weak Heyting algebras on finite distributive lattices, Logic Journal of the Interest Group in Pure and Applied Logics 23(2):247\u2013258, 2015.","journal-title":"Logic Journal of the Interest Group in Pure and Applied Logics"},{"key":"9765_CR2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1215\/00294527-3339473","volume":"57","author":"M Alizadeh","year":"2016","unstructured":"Alizadeh, M., M. Ardeshir, and W. Ruitenburg, Boolean algebras in Visser algebras, Notre Dame Journal of Formal Logic 57:141\u2013150, 2016.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9765_CR3","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M Ardeshir","year":"1998","unstructured":"Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44:317\u2013343, 1998.","journal-title":"Mathematical Logic Quarterly"},{"key":"9765_CR4","unstructured":"Birkhoff, G., Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25, 3rd edn, 3rd printing, American Mathematical Society, Providence RI, 1979."},{"key":"9765_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"S Celani","year":"2005","unstructured":"Celani, S., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51:219\u2013246, 2005.","journal-title":"Mathematical Logic Quarterly"},{"key":"9765_CR6","volume-title":"Basic Algebra I","author":"N Jacobson","year":"1974","unstructured":"Jacobson, N., Basic Algebra I, W.H. Freeman and Company, New York, 1974."},{"key":"9765_CR7","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A Visser","year":"1981","unstructured":"Visser, A., A propositional logic with explicit fixed points, Studia Logica 40:155\u2013175, 1981.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9765-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9765-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9765-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,18]],"date-time":"2018-07-18T14:14:47Z","timestamp":1531923287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9765-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,18]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9765"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9765-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,18]]}}}