{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T10:44:18Z","timestamp":1759401858065,"version":"3.37.3"},"reference-count":16,"publisher":"Informa UK Limited","issue":"2-3","funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["grant number 2072021107"],"award-info":[{"award-number":["grant number 2072021107"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012456","name":"Chinese National Funding of Social Sciences","doi-asserted-by":"crossref","award":["grant number 18ZDA033"],"award-info":[{"award-number":["grant number 18ZDA033"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2024,7,2]]},"DOI":"10.1080\/11663081.2024.2336373","type":"journal-article","created":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T15:27:07Z","timestamp":1712071627000},"page":"269-293","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":2,"title":["Decidability of topological quasi-Boolean algebras"],"prefix":"10.1080","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5975-2333","authenticated-orcid":false,"given":"Yiheng","family":"Wang","sequence":"first","affiliation":[{"name":"Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, People's Republic of China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-0575-4942","authenticated-orcid":false,"given":"Zhe","family":"Lin","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Xiamen University, Xiamen, People's Republic of China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3733-7291","authenticated-orcid":false,"given":"Minghui","family":"Ma","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, People's Republic of China"}]}],"member":"301","published-online":{"date-parts":[[2024,4,2]]},"reference":[{"issue":"4","key":"e_1_3_3_2_1","first-page":"293","article-title":"Rough algebra","volume":"41","author":"Banerjee M.","year":"1993","unstructured":"Banerjee, M., & Chakraborty, M. K. (1993). Rough algebra. Bulletin of Polish Academy of Sciences (Mathematics), 41(4), 293\u2013297.","journal-title":"Bulletin of Polish Academy of Sciences (Mathematics)"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1996-283401"},{"key":"e_1_3_3_4_1","unstructured":"Banerjee M. & Pal K. (2005). The variety of topological quasi-Boolean algebras. In Proceedings of trends in logic III Poland."},{"issue":"5","key":"e_1_3_3_5_1","first-page":"259","article-title":"On the representation of quasi-Boolean algebras","volume":"5","author":"Bia\u0142ynicki-Birula A.","year":"1957","unstructured":"Bia\u0142ynicki-Birula, A., & Rasiowa, H (1957). On the representation of quasi-Boolean algebras. Bulletin of the Polish Academy of Sciences Cl. III, 5(5), 259\u2013261.","journal-title":"Bulletin of the Polish Academy of Sciences Cl. III"},{"key":"e_1_3_3_6_1","unstructured":"Buszkowski W. (2005). Lambek calculus with nonlogical axioms. In C. Casadio (Ed.) Language and grammar (pp. 77\u201393). CSLI Publication."},{"key":"e_1_3_3_7_1","doi-asserted-by":"crossref","unstructured":"Buszkowski W. & Farulewski M. (2009). Nonassociative Lambek calculus with additives and context-free languages. In O. Grumberg M. Kaminski S. Katz & S. Wintner (Eds.) Languages: From formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday (pp. 45\u201358). Springer.","DOI":"10.1007\/978-3-642-01748-3_4"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2019.07.007"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026175817625"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2021-2023"},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99368-3_24"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01001956"},{"key":"e_1_3_3_14_1","volume-title":"An algebraic approach to non-classical logics","author":"Rasiowa H.","year":"1974","unstructured":"Rasiowa, H. (1974). An algebraic approach to non-classical logics. North-Holland Publishing Company."},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.06.004"},{"issue":"3","key":"e_1_3_3_16_1","first-page":"311","article-title":"A study of interconnections between rough and 3-valued \u0141ukasiewicz logics","volume":"51","author":"Sen J.","year":"2002","unstructured":"Sen, J., & Chakraborty, M. K. (2002). A study of interconnections between rough and 3-valued \u0141ukasiewicz logics. Fundamenta Informaticae, 51(3), 311\u2013324.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_5"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2024.2336373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T02:46:10Z","timestamp":1727232370000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2024.2336373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,2]]},"references-count":16,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2024,7,2]]}},"alternative-id":["10.1080\/11663081.2024.2336373"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2024.2336373","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2024,4,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-05-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-12-05","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-04-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}