{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T20:36:52Z","timestamp":1771274212679,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":88,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662665435","type":"print"},{"value":"9783662665442","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-662-66544-2_9","type":"book-chapter","created":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T02:36:12Z","timestamp":1672540572000},"page":"288-507","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Study of\u00a0Algebraic Structures and\u00a0Logics Based on\u00a0Categories of\u00a0Rough Sets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4163-6502","authenticated-orcid":false,"given":"Anuj Kumar","family":"More","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,1,1]]},"reference":[{"key":"9_CR1","volume-title":"Theories of Abstract Automata","author":"MA Arbib","year":"1969","unstructured":"Arbib, M.A.: Theories of Abstract Automata. Prentice-Hall, Hoboken (1969)"},{"key":"9_CR2","volume-title":"Algebraic Theory of Machines, Languages, and Semigroups","author":"MA Arbib","year":"1968","unstructured":"Arbib, M.A., Krohn, K., Rhodes, J.L.: Algebraic Theory of Machines, Languages, and Semigroups. Academic Press, Cambridge (1968)"},{"key":"9_CR3","volume-title":"Category Theory","author":"S Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory. Oxford University Press, Oxford (2010)"},{"issue":"3\u20134","key":"9_CR4","first-page":"167","volume":"18","author":"M Banerjee","year":"1993","unstructured":"Banerjee, M., Chakraborty, M.K.: A category for rough sets. Found. Comput. Decis. Sci. 18(3\u20134), 167\u2013180 (1993)","journal-title":"Found. Comput. Decis. Sci."},{"issue":"3\u20134","key":"9_CR5","first-page":"211","volume":"28","author":"M Banerjee","year":"1996","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough sets through algebraic logic. Fund. Inform. 28(3\u20134), 211\u2013221 (1996)","journal-title":"Fund. Inform."},{"issue":"4","key":"9_CR6","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/S1571-0661(04)80701-1","volume":"82","author":"M Banerjee","year":"2003","unstructured":"Banerjee, M., Chakraborty, M.K.: Foundations of vagueness: a category-theoretic approach. Electron. Notes Theor. Comput. Sci. 82(4), 10\u201319 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-18859-6_7","volume-title":"Rough-Neural Computing: Techniques for Computing with Words","author":"M Banerjee","year":"2004","unstructured":"Banerjee, M., Chakraborty, M.K.: Algebras from rough sets. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-Neural Computing: Techniques for Computing with Words, pp. 157\u2013184. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-642-18859-6_7"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/978-3-540-72530-5_51","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing","author":"M Banerjee","year":"2007","unstructured":"Banerjee, M., Yao, Y.: A categorial basis for granular computing. In: An, A., Stefanowski, J., Ramanna, S., Butz, C.J., Pedrycz, W., Wang, G. (eds.) RSFDGrC 2007. LNCS (LNAI), vol. 4482, pp. 427\u2013434. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72530-5_51"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1080\/01969720590887324","volume":"36","author":"S Basu","year":"2005","unstructured":"Basu, S.: Rough finite-state automata. Cybern. Syst. 36(2), 107\u2013124 (2005)","journal-title":"Cybern. Syst."},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/S0019-9958(71)90324-X","volume":"18","author":"Z Bavel","year":"1971","unstructured":"Bavel, Z.: The source as a tool in automata. Inf. Control 18(2), 140\u2013155 (1971)","journal-title":"Inf. Control"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.indag.2019.01.001","volume":"30","author":"G Bezhanishvili","year":"2019","unstructured":"Bezhanishvili, G., Holliday, W.H.: A semantic hierarchy for intuitionistic logic. Indagationes Mathematicae 30(3), 403\u2013469 (2019)","journal-title":"Indagationes Mathematicae"},{"key":"9_CR12","unstructured":"Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam (2006)"},{"issue":"9","key":"9_CR13","doi-asserted-by":"publisher","first-page":"2201","DOI":"10.1007\/s00500-016-2135-9","volume":"21","author":"RA Borzooei","year":"2017","unstructured":"Borzooei, R.A., Estaji, A.A., Mobini, M.: On the category of rough sets. Soft. Comput. 21(9), 2201\u20132214 (2017)","journal-title":"Soft. Comput."},{"issue":"157","key":"9_CR14","first-page":"67","volume":"40","author":"WA Carnielli","year":"1997","unstructured":"Carnielli, W.A., D\u2019Ottaviano, I.M.L.: Translations between logical systems: a manifesto. Logique et Anal. 40(157), 67\u201381 (1997)","journal-title":"Logique et Anal."},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0165-0114(97)00328-X","volume":"108","author":"G Cattaneo","year":"1999","unstructured":"Cattaneo, G., Giuntini, R., Pilla, R.: BZMV$$^{\\rm dM}$$ algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations). Fuzzy Sets Syst. 108(2), 201\u2013222 (1999)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR16","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-94-017-8860-1_4","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"SA Celani","year":"2014","unstructured":"Celani, S.A., Jansana, R.: Easkia duality and its extensions. In: Bezhanishvili, G. (ed.) Leo Esakia on Duality in Modal and Intuitionistic Logics. OCL, vol. 4, pp. 63\u201398. Springer, Dordrecht (2014). https:\/\/doi.org\/10.1007\/978-94-017-8860-1_4"},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press, Oxford (1997)"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IRE Trans. Inf. Theory 2(3), 113\u2013124 (1956)","journal-title":"IRE Trans. Inf. Theory"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-75939-3_5","volume-title":"Algebraic and Proof-theoretic Aspects of Non-classical Logics","author":"R Cignoli","year":"2007","unstructured":"Cignoli, R.: The algebras of \u0141ukasiewicz many-valued logic: a historical overview. In: Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V. (eds.) Algebraic and Proof-theoretic Aspects of Non-classical Logics. LNCS (LNAI), vol. 4460, pp. 69\u201383. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75939-3_5"},{"key":"9_CR20","unstructured":"Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge Studies in Advanced Mathematics, vol. 57. Cambridge University Press, Cambridge (1998)"},{"key":"9_CR21","volume-title":"The Algebraic Theory of Semigroups","author":"AH Clifford","year":"1961","unstructured":"Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups, vol. 1. American Mathematical Society, Providence (1961)"},{"key":"9_CR22","volume-title":"The Algebraic Theory of Semigroups","author":"AH Clifford","year":"1961","unstructured":"Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups, vol. 2. American Mathematical Society, Providence (1961)"},{"issue":"1","key":"9_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s00500-016-2391-8","volume":"21","author":"A Colacito","year":"2017","unstructured":"Colacito, A., de Jongh, D., Vargas, A.L.: Subminimal negation. Soft Comput. 21(1), 165\u2013174 (2017)","journal-title":"Soft Comput."},{"key":"9_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2012.12.020","volume":"488","author":"M Diker","year":"2013","unstructured":"Diker, M.: Categories of rough sets and textures. Theoret. Comput. Sci. 488, 46\u201365 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.ijar.2014.07.006","volume":"56","author":"M Diker","year":"2015","unstructured":"Diker, M.: A category approach to relation preserving functions in rough set theory. Int. J. Approx. Reason. 56, 71\u201386 (2015)","journal-title":"Int. J. Approx. Reason."},{"key":"9_CR27","first-page":"15","volume":"20","author":"K Do\u0161en","year":"1986","unstructured":"Do\u0161en, K.: Negation as a modal operator. Rep. Math. Logic 20, 15\u201327 (1986)","journal-title":"Rep. Math. Logic"},{"key":"9_CR28","series-title":"Applied Logic Series","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-015-9309-0_4","volume-title":"What is Negation?","author":"K Do\u0161en","year":"1999","unstructured":"Do\u0161en, K.: Negation in the light of modal logic. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation? Applied Logic Series, vol. 13, pp. 77\u201386. Springer, Dordrecht (1999). https:\/\/doi.org\/10.1007\/978-94-015-9309-0_4"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BFb0018431","volume-title":"Logics in AI","author":"JM Dunn","year":"1991","unstructured":"Dunn, J.M.: Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 31\u201351. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0018431"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/2214128","volume":"7","author":"JM Dunn","year":"1993","unstructured":"Dunn, J.M.: Star and perp: two treatments of negation. Philos. Perspect. 7, 331\u2013357 (1993)","journal-title":"Philos. Perspect."},{"issue":"2","key":"9_CR31","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.M.: Positive modal logic. Stud. Logica. 55(2), 301\u2013317 (1995)","journal-title":"Stud. Logica."},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1515\/9783110876802.3","volume-title":"Negation: A Notion in Focus","author":"JM Dunn","year":"1996","unstructured":"Dunn, J.M.: Generalized ortho negation. In: Wansing, H. (ed.) Negation: A Notion in Focus, pp. 3\u201326. W. De Gruyter, Berlin (1996)"},{"issue":"2\u20133","key":"9_CR33","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","volume":"80","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Zhou, C.: Negation in the context of gaggle theory. Stud. Logica. 80(2\u20133), 235\u2013264 (2005)","journal-title":"Stud. Logica."},{"key":"9_CR34","unstructured":"Eilenberg, S., Tilson, B.: Automata, Languages, and Machines. Volume B. Pure & Applied Mathematics. Academic Press, Cambridge (1976)"},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/11908029_9","volume-title":"Rough Sets and Current Trends in Computing","author":"P Eklund","year":"2006","unstructured":"Eklund, P., Gal\u00e1n, M.A.: Monads can be rough. In: Greco, S., et al. (eds.) RSCTC 2006. LNCS (LNAI), vol. 4259, pp. 77\u201384. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11908029_9"},{"issue":"2","key":"9_CR36","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","author":"F Esteva","year":"2000","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Logic 39(2), 103\u2013124 (2000)","journal-title":"Arch. Math. Logic"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Ferreira, G., Oliva, P.: On the relation between various negative translations. In: Logic, Construction, Computation. Ontos Mathematical Logic, vol. 3, pp. 227\u2013258. Ontos Verlag, Heusenstamm (2012)","DOI":"10.1515\/9783110324921.227"},{"key":"9_CR38","unstructured":"Fu, T.K., Kutz, O.: The analysis and synthesis of logic translation. In: FLAIRS Conference (2012)"},{"issue":"3","key":"9_CR39","first-page":"130","volume":"23","author":"J Geisler","year":"1994","unstructured":"Geisler, J., Nowak, M.: Conditional negation on the positive logic. Bull. Sect. Logic 23(3), 130\u2013136 (1994)","journal-title":"Bull. Sect. Logic"},{"issue":"3","key":"9_CR40","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1090\/S0002-9947-60-99988-8","volume":"96","author":"S Ginsburg","year":"1960","unstructured":"Ginsburg, S.: Some remarks on abstract machines. Trans. Am. Math. Soc. 96(3), 400\u2013444 (1960)","journal-title":"Trans. Am. Math. Soc."},{"issue":"5","key":"9_CR41","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S0020-7373(74)80017-9","volume":"6","author":"JA Goguen","year":"1974","unstructured":"Goguen, J.A.: Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Int. J. Man Mach. Stud. 6(5), 513\u2013561 (1974)","journal-title":"Int. J. Man Mach. Stud."},{"key":"9_CR42","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/malq.19740201304","volume":"20","author":"RI Goldblatt","year":"1974","unstructured":"Goldblatt, R.I.: Decidability of some extensions of. J. Z. Math. Logik Grundlagen Math. 20, 203\u2013205 (1974)","journal-title":"J. Z. Math. Logik Grundlagen Math."},{"key":"9_CR43","unstructured":"Goldblatt, R.I.: Topoi: The Categorial Analysis of Logic. Dover Books on Mathematics. Dover Publications, Mineola (2006)"},{"issue":"1","key":"9_CR44","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y.: Intuitionistic logic with strong negation. Stud. Logica. 36(1), 49\u201359 (1977)","journal-title":"Stud. Logica."},{"issue":"2","key":"9_CR45","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0165-0114(91)90163-K","volume":"40","author":"U H\u00f6hle","year":"1991","unstructured":"H\u00f6hle, U., Stout, L.N.: Foundations of fuzzy sets. Fuzzy Sets Syst. 40(2), 257\u2013296 (1991)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR46","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525889","volume-title":"Algebraic Automata Theory","author":"WML Holcombe","year":"1982","unstructured":"Holcombe, W.M.L.: Algebraic Automata Theory. Cambridge University Press, Cambridge (1982)"},{"key":"9_CR47","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Pearson\/Addison Wesley, Reading (2007)"},{"key":"9_CR48","first-page":"673","volume":"35","author":"TB Iwi\u0144ski","year":"1987","unstructured":"Iwi\u0144ski, T.B.: Algebraic approach to rough sets. Bull. Polish Acad. Sci. Math. 35, 673\u2013683 (1987)","journal-title":"Bull. Polish Acad. Sci. Math."},{"key":"9_CR49","first-page":"119","volume":"4","author":"I Johansson","year":"1937","unstructured":"Johansson, I.: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compositio Math. 4, 119\u2013136 (1937)","journal-title":"Compositio Math."},{"key":"9_CR50","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1986","unstructured":"Johnstone, P.T.: Stone Spaces, vol. 3. Cambridge University Press, Cambridge (1986)"},{"key":"9_CR51","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Oxford University Press, Oxford (2002)"},{"key":"9_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-540-73859-6_21","volume-title":"Algebra and Coalgebra in Computer Science","author":"PT Johnstone","year":"2007","unstructured":"Johnstone, P.T., Lack, S., Soboci\u0144ski, P.: Quasitoposes, quasiadhesive categories and artin glueing. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 312\u2013326. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73859-6_21"},{"issue":"3","key":"9_CR53","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0165-0114(90)90217-T","volume":"34","author":"JB Kiszka","year":"1990","unstructured":"Kiszka, J.B., Gupta, M.M., Trojan, G.M.: Multivariable fuzzy controller under G\u00f6del\u2019s implication. Fuzzy Sets Syst. 34(3), 301\u2013321 (1990)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR54","doi-asserted-by":"crossref","unstructured":"Kripke, S.A.: Semantical analysis of modal logic. I. Normal modal propositional calculi. Z. Math. Logik Grundlagen Math. 9, 67\u201396 (1963)","DOI":"10.1002\/malq.19630090502"},{"key":"9_CR55","doi-asserted-by":"crossref","unstructured":"Kripke, S.A.: Semantical analysis of intuitionistic logic. I. In: Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, 1963), pp. 92\u2013130. North-Holland, Amsterdam (1965)","DOI":"10.1016\/S0049-237X(08)71685-9"},{"issue":"3","key":"9_CR56","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s11225-016-9696-6","volume":"105","author":"A Kumar","year":"2017","unstructured":"Kumar, A., Banerjee, M.: Kleene algebras and logic: boolean and rough set representations, 3-valued, rough set and perp semantics. Stud. Logica. 105(3), 439\u2013469 (2017)","journal-title":"Stud. Logica."},{"key":"9_CR57","doi-asserted-by":"crossref","unstructured":"Li, X.S., Yuan, X.H.: The category $${RSC}$$ of $${I}$$-rough sets. In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, vol. 1, pp. 448\u2013452 (2008)","DOI":"10.1109\/FSKD.2008.106"},{"issue":"3","key":"9_CR58","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0022-5193(68)90079-9","volume":"18","author":"A Lindenmayer","year":"1968","unstructured":"Lindenmayer, A.: Mathematical models for cellular interactions in development I. Filaments with one-sided inputs. J. Theor. Biol. 18(3), 280\u2013299 (1968)","journal-title":"J. Theor. Biol."},{"issue":"3","key":"9_CR59","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/PL00004628","volume":"228","author":"SA Linton","year":"1998","unstructured":"Linton, S.A., Pfeiffer, G., Robertson, E.F., Ru\u0161kuc, N.: Groups and actions in transformation semigroups. Math. Z. 228(3), 435\u2013450 (1998)","journal-title":"Math. Z."},{"issue":"42","key":"9_CR60","doi-asserted-by":"publisher","first-page":"5902","DOI":"10.1016\/j.tcs.2011.05.041","volume":"412","author":"J Lu","year":"2011","unstructured":"Lu, J., Li, S.-G., Yang, X.-F., Fu, W.-Q.: Categorical properties of $$M$$-indiscernibility spaces. Theoret. Comput. Sci. 412(42), 5902\u20135908 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR61","volume-title":"Algebraic and Structural Automata Theory","author":"B Mikolajczak","year":"1991","unstructured":"Mikolajczak, B.: Algebraic and Structural Automata Theory, vol. 44. Elsevier, Amsterdam (1991)"},{"issue":"2","key":"9_CR62","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0022-4049(86)90077-0","volume":"42","author":"G Monro","year":"1986","unstructured":"Monro, G.: Quasitopoi, logic and Heyting-valued models. J. Pure Appl. Algebra 42(2), 141\u2013164 (1986)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1\u20132","key":"9_CR63","first-page":"173","volume":"148","author":"AK More","year":"2016","unstructured":"More, A.K., Banerjee, M.: Categories and algebras from rough sets: new facets. Fund. Inform. 148(1\u20132), 173\u2013190 (2016)","journal-title":"Fund. Inform."},{"key":"9_CR64","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-60837-2_8","volume-title":"Rough Sets","author":"AK More","year":"2017","unstructured":"More, A.K., Banerjee, M.: New algebras and logic from a category of rough sets. In: Polkowski, L., et al. (eds.) IJCRS 2017. LNCS (LNAI), vol. 10313, pp. 95\u2013108. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60837-2_8"},{"key":"9_CR65","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/978-3-319-99368-3_46","volume-title":"Rough Sets","author":"AK More","year":"2018","unstructured":"More, A.K., Banerjee, M.: Transformation semigroups for rough sets. In: Nguyen, H.S., Ha, Q.-T., Li, T., Przyby\u0142a-Kasperek, M. (eds.) IJCRS 2018. LNCS (LNAI), vol. 11103, pp. 584\u2013598. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99368-3_46"},{"key":"9_CR66","volume-title":"Topology","author":"JR Munkres","year":"2000","unstructured":"Munkres, J.R.: Topology. Prentice Hall, Hoboken (2000)"},{"issue":"5","key":"9_CR67","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1007\/s11225-019-09884-z","volume":"108","author":"S Niki","year":"2020","unstructured":"Niki, S.: Subminimal logics in light of Vakarelov\u2019s logic. Stud. Logica. 108(5), 967\u2013987 (2020)","journal-title":"Stud. Logica."},{"issue":"4","key":"9_CR68","first-page":"201","volume":"24","author":"M Nowak","year":"1995","unstructured":"Nowak, M.: The weakest logic of conditional negation. Bull. Sect. Logic 24(4), 201\u2013205 (1995)","journal-title":"Bull. Sect. Logic"},{"issue":"2\u20133","key":"9_CR69","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s11225-005-8472-9","volume":"80","author":"SP Odintsov","year":"2005","unstructured":"Odintsov, S.P.: The class of extensions of Nelson\u2019s paraconsistent logic. Studia Logica 80(2\u20133), 291\u2013320 (2005)","journal-title":"Studia Logica"},{"issue":"2","key":"9_CR70","doi-asserted-by":"publisher","first-page":"112","DOI":"10.3103\/S1055134407020034","volume":"17","author":"SP Odintsov","year":"2007","unstructured":"Odintsov, S.P.: The lattice of extensions of the minimal logic. Siberian Adv. Math. 17(2), 112\u2013143 (2007)","journal-title":"Siberian Adv. Math."},{"key":"9_CR71","series-title":"Trends in Logic-Studia Logica Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6867-6","volume-title":"Constructive Negations and Paraconsistency","author":"SP Odintsov","year":"2008","unstructured":"Odintsov, S.P.: Constructive Negations and Paraconsistency. Trends in Logic-Studia Logica Library, vol. 26. Springer, New York (2008). https:\/\/doi.org\/10.1007\/978-1-4020-6867-6"},{"key":"9_CR72","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-7908-1888-8_6","volume-title":"Incomplete Information: Rough Set Analysis","author":"P Pagliani","year":"1998","unstructured":"Pagliani, P.: Rough set theory and logic-algebraic structures. In: Or\u0142owska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 109\u2013190. Physica-Verlag, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-7908-1888-8_6"},{"key":"9_CR73","series-title":"Advances in Intelligent and Soft Computing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1776-8","volume-title":"Rough Sets: Mathematical Foundations","author":"L Polkowski","year":"2002","unstructured":"Polkowski, L.: Rough Sets: Mathematical Foundations. Advances in Intelligent and Soft Computing, Physica-Verlag HD, Heidelberg (2002). https:\/\/doi.org\/10.1007\/978-3-7908-1776-8"},{"key":"9_CR74","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0049-237X(08)70527-5","volume":"50","author":"D Prawitz","year":"1968","unstructured":"Prawitz, D., Malmn\u00e4s, P.E.: A survey of some connections between classical, intuitionistic and minimal logic. Stud. Logic Found. Math. 50, 215\u2013229 (1968)","journal-title":"Stud. Logic Found. Math."},{"key":"9_CR75","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"An Algebraic Approach to Non-classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-classical Logics. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam (1974)"},{"key":"9_CR76","doi-asserted-by":"publisher","first-page":"62","DOI":"10.4064\/fm-40-1-62-95","volume":"40","author":"H Rasiowa","year":"1953","unstructured":"Rasiowa, H., Sikorski, R.: Algebraic treatment of the notion of satisfiability. Fundam. Math. 40, 62\u201395 (1953)","journal-title":"Fundam. Math."},{"issue":"6","key":"9_CR77","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1093\/jigpal\/8.6.853","volume":"8","author":"G Restall","year":"2000","unstructured":"Restall, G.: Defining double negation elimination. Log. J. IGPL 8(6), 853\u2013860 (2000)","journal-title":"Log. J. IGPL"},{"key":"9_CR78","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","volume":"34","author":"K Segerberg","year":"1968","unstructured":"Segerberg, K.: Propositional logics related to Heyting\u2019s and Johansson\u2019s. Theoria 34, 26\u201361 (1968)","journal-title":"Theoria"},{"issue":"3","key":"9_CR79","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/s13042-015-0372-3","volume":"8","author":"S Sharan","year":"2017","unstructured":"Sharan, S., Srivastava, A.K., Tiwari, S.P.: Characterizations of rough finite state automata. Int. J. Mach. Learn. Cybern. 8(3), 721\u2013730 (2017)","journal-title":"Int. J. Mach. Learn. Cybern."},{"issue":"2\u20133","key":"9_CR80","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s11225-005-8474-7","volume":"80","author":"Y Shramko","year":"2005","unstructured":"Shramko, Y.: Dual intuitionistic logic and a variety of negations: the logic of scientific research. Stud. Logica. 80(2\u20133), 347\u2013367 (2005)","journal-title":"Stud. Logica."},{"key":"9_CR81","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-21881-1_14","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing","author":"SP Tiwari","year":"2011","unstructured":"Tiwari, S.P., Sharan, S.: On coverings of rough transformation semigroups. In: Kuznetsov, S.O., \u015al\u0119zak, D., Hepting, D.H., Mirkin, B.G. (eds.) RSFDGrC 2011. LNCS (LNAI), vol. 6743, pp. 79\u201386. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21881-1_14"},{"issue":"03","key":"9_CR82","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1142\/S0129054113500093","volume":"24","author":"SP Tiwari","year":"2013","unstructured":"Tiwari, S.P., Sharan, S., Singh, A.K.: On coverings of products of rough transformation semigroups. Int. J. Found. Comput. Sci. 24(03), 375\u2013391 (2013)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"2","key":"9_CR83","first-page":"45","volume":"2","author":"BK Tripathy","year":"2011","unstructured":"Tripathy, B.K., Acharjya, D.P., Cynthya, V.: A framework for intelligent medical diagnosis using rough set with formal concept analysis. Int. J. Artif. Intell. Appl. 2(2), 45\u201366 (2011)","journal-title":"Int. J. Artif. Intell. Appl."},{"issue":"1\u20132","key":"9_CR84","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D.: Notes on $${\\cal{N} }$$-lattices and constructive logic with strong negation. Studia Logica 36(1\u20132), 109\u2013125 (1977)","journal-title":"Studia Logica"},{"key":"9_CR85","doi-asserted-by":"publisher","first-page":"328","DOI":"10.2307\/j.ctv2x8v8c7.15","volume-title":"Paraconsistent Logic: Essays on the Inconsistent","author":"D Vakarelov","year":"1989","unstructured":"Vakarelov, D.: Consistency, completeness and negation. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic: Essays on the Inconsistent, pp. 328\u2013369. Philosophia Verlag, Munich (1989)"},{"issue":"2\u20133","key":"9_CR86","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s11225-005-8476-5","volume":"80","author":"D Vakarelov","year":"2005","unstructured":"Vakarelov, D.: Nelson\u2019s negation on the base of weaker versions of intuitionistic negation. Stud. Logica. 80(2\u20133), 393\u2013430 (2005)","journal-title":"Stud. Logica."},{"issue":"2","key":"9_CR87","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1111\/j.1755-2567.1970.tb00419.x","volume":"36","author":"PW Woodruff","year":"1970","unstructured":"Woodruff, P.W.: A note on JP$$^{\\prime }$$. Theoria 36(2), 183\u2013184 (1970)","journal-title":"Theoria"},{"key":"9_CR88","doi-asserted-by":"publisher","DOI":"10.1142\/1047","volume-title":"Lecture Notes on Topoi and Quasitopoi","author":"O Wyler","year":"1991","unstructured":"Wyler, O.: Lecture Notes on Topoi and Quasitopoi. World Scientific, Singapore (1991)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets XXIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-66544-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T09:41:20Z","timestamp":1728639680000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-66544-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783662665435","9783662665442"],"references-count":88,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-66544-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}