{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T11:59:07Z","timestamp":1780315147901,"version":"3.54.1"},"reference-count":0,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2021,4,15]],"date-time":"2021-04-15T00:00:00Z","timestamp":1618444800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2021,4,15]]},"abstract":"<jats:p>Varieties of topological quasi-Boolean algebras in the vicinity of pre-rough algebras [28, 29] are expanded to residuated algebraic structures by introducing a new implication operation and its residual in these structures. Sequent calculi for some classes of residuated algebraic structures are established. These sequent calculi have the strong finite model property which yields the decidability of the word problem for corresponding classes of algebraic structures.<\/jats:p>","DOI":"10.3233\/fi-2021-2023","type":"journal-article","created":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T12:52:58Z","timestamp":1618577578000},"page":"239-274","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":4,"title":["Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability"],"prefix":"10.1177","volume":"179","author":[{"given":"Zhe","family":"Lin","sequence":"first","affiliation":[{"name":"Department of Philosophy, Xiamen University, Xiamen, China."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mihir Kumar","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"Visiting Professor, School of Cognitive Science, Jadavpur University, Kolkata, India."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minghui","family":"Ma","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Sun Yat-sen University, Guangzhou, China."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","published-online":{"date-parts":[[2021,4,15]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2021-2023","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2021-2023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:19Z","timestamp":1777444339000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2021-2023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,15]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,4,15]]}},"alternative-id":["10.3233\/FI-2021-2023"],"URL":"https:\/\/doi.org\/10.3233\/fi-2021-2023","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,15]]}}}