{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T04:40:23Z","timestamp":1654144823206},"reference-count":24,"publisher":"IGI Global","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4,1]]},"abstract":"<p>The collection of the rough set pairs &lt;lower approximation, upper approximation&gt; of an approximation (U, R) can be made into a Stone algebra by defining two binary operators and one unary operator on the pairs. By introducing a more unary operator, one can get a regular double Stone algebra to describe the rough set pairs of an approximation space. Sequent calculi corresponding to the rough algebras, including rough Stone algebras, Stone algebras, rough double Stone algebras, and regular double Stone algebras are proposed in this paper. The sequent calculi are called rough Stone logic (RSL), Stone logic (SL), rough double Stone logic (RDSL), and double Stone Logic (DSL). The languages, axioms and rules are presented. The soundness and completeness of the logics are proved.<\/p>","DOI":"10.4018\/jcini.2010040103","type":"journal-article","created":{"date-parts":[[2010,6,30]],"date-time":"2010-06-30T21:02:43Z","timestamp":1277931763000},"page":"35-49","source":"Crossref","is-referenced-by-count":2,"title":["Generalized Rough Logics with Rough Algebraic Semantics"],"prefix":"10.4018","volume":"4","author":[{"given":"Jianhua","family":"Dai","sequence":"first","affiliation":[{"name":"College of Computer Science, Zhejiang University, China"}]}],"member":"2432","reference":[{"key":"jcini.2010040103-0","doi-asserted-by":"crossref","first-page":"213","DOI":"10.3233\/FI-1997-313401","article-title":"Rough sets and 3-valued Lukasiewicz logic.","volume":"31","author":"M.Banerjee","year":"1997","journal-title":"Fundamenta Informaticae"},{"issue":"3-4","key":"jcini.2010040103-1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1996-283401","article-title":"Rough sets through algebraic logic.","volume":"28","author":"M.Banerjee","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"jcini.2010040103-2","first-page":"117","article-title":"On connections between information systems, rough sets and algebraic logic","author":"S.Comer","year":"1993","journal-title":"Algebraic methods in logic and computer science"},{"key":"jcini.2010040103-3","doi-asserted-by":"crossref","unstructured":"Dai, J. H. (2004). Structure of rough approximations based on molecular lattices. In Proceedings of 4th International Conference on Rough Sets and Current Trends in Computing (RSCTC2004) (LNAI 3066, pp. 69-77). Berlin: Springer Verlag.","DOI":"10.1007\/978-3-540-25929-9_7"},{"key":"jcini.2010040103-4","doi-asserted-by":"crossref","unstructured":"Dai, J. H. (2005). Logic for rough sets with rough double Stone algebraic semantics. In Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC 2005) (LNAI 3641, pp. 141-148). Berlin: Springer Verlag.","DOI":"10.1007\/11548669_15"},{"issue":"2","key":"jcini.2010040103-5","first-page":"161","article-title":"Rough algebras and 3-valued Lukasiewicz algebras.","volume":"30","author":"J. H.Dai","year":"2007","journal-title":"Chinese Journal of Computers"},{"key":"jcini.2010040103-6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.11.011"},{"key":"jcini.2010040103-7","unstructured":"Dai, J. H., Chen, W. D., & Pan, Y. H. (2005). Sequent calculus system for rough sets based on rough Stone algebras. In Proceedings of the IEEE International Conference on Granular Computing (IEEE GrC2005) (pp. 423-426). Washington, DC: IEEE Press."},{"key":"jcini.2010040103-8","doi-asserted-by":"crossref","unstructured":"Dai, J. H., Chen, W. D., & Pan, Y. H. (2006a). Rough sets and Brouwer-Zadeh lattices. In Proceedings of First International Conference on Rough Sets and Knowledge Technology (pp. 200-207). Berlin: Springer Verlag.","DOI":"10.1007\/11795131_29"},{"key":"jcini.2010040103-9","doi-asserted-by":"crossref","unstructured":"Dai, J. H., Lv, H. F., Chen, W. D., & Pan, Y. H. (2006b). Two kinds of rough algebras and Brouwer-Zadeh lattices. In Proceedings of 5th International Conference on Rough Sets and Current Trends in Computing (RSCTC2006) (pp. 99-106). Berlin: Springer Verlag.","DOI":"10.1007\/11908029_12"},{"key":"jcini.2010040103-10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00334-9"},{"issue":"2","key":"jcini.2010040103-11","first-page":"21","article-title":"On modal decision logics.","volume":"5","author":"T. F.Fan","year":"2002","journal-title":"Communications of Institute of Information and Computing Machinery"},{"issue":"4","key":"jcini.2010040103-12","first-page":"325","article-title":"On modal and fuzzy decision logics based on rough set theory.","volume":"52","author":"T. F.Fan","year":"2002","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"jcini.2010040103-13","first-page":"235","article-title":"On the structure of rough sets.","volume":"40","author":"M.Gehrke","year":"1992","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"issue":"9-10","key":"jcini.2010040103-14","first-page":"673","article-title":"Algebraic approach to rough sets.","volume":"35","author":"T. B.Iwinski","year":"1987","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"jcini.2010040103-15","doi-asserted-by":"crossref","unstructured":"Jarvinen, J. (2002). On the structure of rough approximations. In Proceedings of 3rd International Conference on Rough Sets and Current Trends in Computing (RSCTC2002) (LNAI 2475, pp. 123-130). Berlin: Springer Verlag.","DOI":"10.1007\/3-540-45813-1_15"},{"key":"jcini.2010040103-16","doi-asserted-by":"publisher","DOI":"10.1016\/S0218-4885(00)00007-1"},{"key":"jcini.2010040103-17","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-1-4471-3238-7_31","article-title":"Rough approximate operators: Axiomatic rough set theory","author":"T. Y.Lin","year":"1994","journal-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery"},{"issue":"2-3","key":"jcini.2010040103-18","doi-asserted-by":"crossref","first-page":"137","DOI":"10.3233\/FI-1996-272303","article-title":"First-order rough logic I: approximate reasoning via rough sets.","volume":"27","author":"T. Y.Lin","year":"1996","journal-title":"Fundamenta Informaticae"},{"issue":"2-3","key":"jcini.2010040103-19","doi-asserted-by":"crossref","first-page":"205","DOI":"10.3233\/FI-1996-272308","article-title":"Rough sets and Nelson algebras.","volume":"27","author":"P.Pagliani","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"jcini.2010040103-20","author":"Z.Pawlak","year":"1991","journal-title":"Rough Sets\u2013Theoretical Aspects of Reasoning about Data"},{"issue":"7-8","key":"jcini.2010040103-21","first-page":"495","article-title":"The Stone algebra of rough sets.","volume":"36","author":"J.Pomykala","year":"1988","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"jcini.2010040103-22","author":"H.Rasiowz","year":"1974","journal-title":"An algebraic approach to non-classical logics"},{"key":"jcini.2010040103-23","doi-asserted-by":"publisher","DOI":"10.1046\/j.1472-8206.2002.00092.x"}],"container-title":["International Journal of Cognitive Informatics and Natural Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=43876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T15:19:16Z","timestamp":1654096756000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jcini.2010040103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2010,4,1]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"URL":"https:\/\/doi.org\/10.4018\/jcini.2010040103","relation":{},"ISSN":["1557-3958","1557-3966"],"issn-type":[{"value":"1557-3958","type":"print"},{"value":"1557-3966","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,1]]}}}