{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:27:52Z","timestamp":1748348872760},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54069-5_11","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T03:43:15Z","timestamp":1480650195000},"page":"139-153","source":"Crossref","is-referenced-by-count":4,"title":["A Semantic Analysis of Stone and Dual Stone Negations with Regularity"],"prefix":"10.1007","author":[{"given":"Arun","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohua","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"11_CR1","unstructured":"Kripke, S.: Semantic analysis of intuitionistic logic I. In: Crossley, J., Dummett, M. (eds.) Formal Systems and Recursive Functions, pp. 92\u2013129. North-Holland, Amsterdam (1963)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Dunn, J.: Star and Perp: two treatments of negation. In: Tomberlin, J. (ed.) Philosophical Perspectives, vol. 7, pp. 331\u2013357. Ridgeview Publishing Company, Atascadero (1994)","DOI":"10.2307\/2214128"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1515\/9783110876802.3","volume-title":"Negation: A Notion in Focus","author":"J Dunn","year":"1996","unstructured":"Dunn, J.: Generalised ortho negation. In: Wansing, H. (ed.) Negation: A Notion in Focus, pp. 3\u201326. Walter de Gruyter, Berlin (1996)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Dunn, J.: A comparative study of various model-theoretic treatments of negation: a history of formal negations. In: Gabbay, D., Wansing, H. (eds.) What is Negation? pp. 23\u201351. Kluwer Academic Publishers, Netherlands (1999)","DOI":"10.1007\/978-94-015-9309-0_2"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11, 341\u2013356 (1982)","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Banerjee, M., Chakraborty, M.K.: Algebras from rough sets. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-Neuro Computing: Techniques for Computing with Words. Cognitive Technologies, pp. 157\u2013184. Springer, Berlin (2004)","DOI":"10.1007\/978-3-642-18859-6_7"},{"key":"11_CR7","unstructured":"Kumar, A.: A study of algebras and logics of rough sets based on classical and generalized approximation spaces. Doctoral dissertation, Indian Institute of Technology, Kanpur (2016)"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","volume":"80","author":"J Dunn","year":"2005","unstructured":"Dunn, J.: Negation in the context of gaggle theory. Stud. Logica 80, 235\u2013264 (2005)","journal-title":"Stud. Logica"},{"issue":"6","key":"11_CR9","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1093\/jigpal\/8.6.853","volume":"8","author":"G Restall","year":"2000","unstructured":"Restall, G.: Defining double negation elimination. L. J. IGPL 8(6), 853\u2013860 (2000)","journal-title":"L. J. IGPL"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"J Dunn","year":"1995","unstructured":"Dunn, J.: Positive modal logic. Stud. Logica 55, 301\u2013317 (1995)","journal-title":"Stud. Logica"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/BF02945029","volume":"2","author":"J Varlet","year":"1972","unstructured":"Varlet, J.: A regular variety of type (2,2,1,1,0,0). Algebra Univ. 2, 218\u2013223 (1972)","journal-title":"Algebra Univ."},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/11548669_15","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"J-H Dai","year":"2005","unstructured":"Dai, J.-H.: Logic for rough sets with rough double stone algebraic semantics. In: \u015al\u0119zak, D., Wang, G., Szczuka, M., D\u00fcntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol. 3641, pp. 141\u2013148. Springer, Heidelberg (2005). doi: 10.1007\/11548669_15"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-71200-8_1","volume-title":"Transactions on Rough Sets VI","author":"M Banerjee","year":"2007","unstructured":"Banerjee, M., Khan, M.A.: Propositional logics from rough set theory. In: Peters, J.F., Skowron, A., D\u00fcntsch, I., Grzyma\u0142a-Busse, J., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 1\u201325. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71200-8_1"},{"issue":"1","key":"11_CR14","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/BF01200492","volume":"34","author":"S Comer","year":"1995","unstructured":"Comer, S.: Perfect extensions of regular double Stone algebras. Algebra Univ. 34(1), 96\u2013109 (1995)","journal-title":"Algebra Univ."}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T21:16:28Z","timestamp":1657919788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}