{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T12:40:00Z","timestamp":1783514400787,"version":"3.55.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011,2]]},"abstract":"<jats:p>A propositional logic PRL for rough sets was proposed in [1]. In this paper, we initially introduce the concepts of rough (upper, lower) truth degrees on the set of formulas in PRL. Then, by grading the rough equality relations, we propose the concepts of rough (upper, lower) similarity degree. Finally, three different pseudo-metrics on the set of rough formulas are obtained, and thus an approximate reasoning mechanism is established.<\/jats:p>","DOI":"10.3233\/fi-2011-393","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T23:33:59Z","timestamp":1575329639000},"page":"67-83","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic"],"prefix":"10.1177","volume":"107","author":[{"given":"Yanhong","family":"She","sequence":"first","affiliation":[{"name":"College of Science, Xi'an Shiyou University, Xi'an , 710065, China. yanhongshe@gmail.com"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoli","family":"He","sequence":"additional","affiliation":[{"name":"College of Science, Xi'an Shiyou University, Xi'an , 710065, China. yanhongshe@gmail.com"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guojun","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Mathematics and Information Science, Shaanxi Normal University, Xi'an, 710062, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","published-online":{"date-parts":[[2011,1,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2011-393","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2011-393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:33:30Z","timestamp":1777444410000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2011-393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["10.3233\/FI-2011-393"],"URL":"https:\/\/doi.org\/10.3233\/fi-2011-393","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}