{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T19:10:04Z","timestamp":1707246604975},"reference-count":8,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2016,1,1]]},"DOI":"10.1215\/00294527-3339473","type":"journal-article","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T00:04:53Z","timestamp":1448323493000},"source":"Crossref","is-referenced-by-count":3,"title":["Boolean Algebras in Visser Algebras"],"prefix":"10.1215","volume":"57","author":[{"given":"Majid","family":"Alizadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Ardeshir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wim","family":"Ruitenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Alizadeh, M., and M. Ardeshir, \u201cOn the linear Lindenbaum algebra of basic propositional logic,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 50 (2004), pp. 65\u201370.","DOI":"10.1002\/malq.200310077"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Alizadeh, M., and M. Ardeshir, \u201cOn L\u00f6b algebras, II,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 20 (2012), pp. 27\u201344.","DOI":"10.1093\/jigpal\/jzr024"},{"key":"3","unstructured":"[3] Ardeshir, M., \u201cAspects of basic logic,\u201d Ph.D. dissertation, Marquette University, Milwaukee, 1995."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Ardeshir, M., and W. Ruitenburg, \u201cBasic propositional calculus, I,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 44 (1998), pp. 317\u201343.","DOI":"10.1002\/malq.19980440304"},{"key":"5","unstructured":"[5] van Dalen, D., <i>Logic and Structure<\/i>, 4th edition, Universitext, Springer, Berlin, 2004."},{"key":"6","unstructured":"[6] Balbes, R., and P. Dwinger., <i>Distributive Lattices<\/i>, University of Missouri Press, Columbia, 1974."},{"key":"7","unstructured":"[7] Johnstone, P., <i>Stone Spaces<\/i>, vol. 3 of <i>Cambridge Studies in Advanced Mathematics<\/i>, Cambridge University Press, Cambridge, 1982."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Visser, A., \u201cA propositional logic with explicit fixed points,\u201d <i>Studia Logica<\/i>, vol. 40 (1981), pp. 155\u201375.","DOI":"10.1007\/BF01874706"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3339473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:37Z","timestamp":1706648317000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-57\/issue-1\/Boolean-Algebras-in-Visser-Algebras\/10.1215\/00294527-3339473.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2016,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3339473","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}