Publications

Journals

Kumar, Arun and Banerjee, M. (2024): Some algebras and logics from quasiorder-generated covering-based approximation spaces. Journal of Applied Non-Classical Logics, 34(2-3), 248-268.

Howlader, Prosenjit and Banerjee, M. (2023): Topological representation of double Boolean algebras, Algebra Universalis, 84:15, 1-32.

Khan, M.A., Banerjee, M. and Panda, S. (2023): Logics for temporal information systems in rough set theory, ACM Transactions on Computational Logic, 24(1), 1-29.

Banerjee, M. and Chakraborty, M.K. (2023): Zdzisław Pawlak and our journey with rough sets, Transactions on Rough Sets XXIII, LNCS 13610, 3-11.

Howlader, Prosenjit and Banerjee, M. (2023): A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, Int. J. Approximate Reasoning, 153, 115-143.

Howlader, Prosenjit and Banerjee, M. (2023): Kripke contexts, double Boolean algebras with operators and corresponding modal systems, Journal of Logic, Language and Information, 32, 117-146.

More, Anuj Kumar and Banerjee, M. (2022): Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation, Logic Journal of the IGPL, jzac041, https://doi.org/10.1093/jigpal/jzac041

Banerjee, M., Dubois, D., Godo, L. and Prade, H. (2017): On the relation between possibilistic logic and modal logics of belief and knowledge, Journal of Applied Non-Classical Logics, 27(3-4), 206-224.

Kumar, Arun and Banerjee, M. (2017): Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Studia Logica, 105(3), 439-469.

More, Anuj Kumar and Banerjee, M. (2016): Categories and algebras of rough sets: new facets, Fundamenta Informaticae, 148(1-2), 173-190.

Kumar, Arun and Banerjee, M. (2015): Algebras of definable and rough sets in quasi order-based approximation spaces, Fundamenta Informaticae, 141 (1), 37-55.

Khan, M.A. and Banerjee, M. (2015): Logics for some dynamic spaces - Parts I and II. Journal of Logic and Computation, 25 (3), 827-856, 857-878.

Banerjee, M. and Dubois, D.  (2014): A simple logic for reasoning about incomplete knowledge. Int. J. Approximate Reasoning, 55 (2), 639-653.

Khan, M.A., Banerjee, M. and Rieke, R. (2014): An update logic for information systems. Int. J. Approximate Reasoning, 55 (1), 436-456.

Chakraborty, M.K. and Banerjee, M. (2013): Rough sets: some foundational issues. Fundamenta Informaticae, 127 (1-4), 1-15.

Khan, M.A. and Banerjee, M. (2011): Logics for information systems and their dynamic extensions. ACM Transactions on Computational Logic, 12 (4), art. no. 29.

Khan, M.A. and Banerjee, M. (2011): A logic for multiple-source approximation systems with distributed knowledge base. Journal of Philosophical Logic, 40 (5), 663-692.

Khan, M.A. and Banerjee, M. (2010): A study of multiple-source approximation systems. Transactions on Rough Sets XII, LNCS 6190, 46-75.

Khan, M.A. and Banerjee, M. (2008): Formal reasoning with rough sets in multiple-source approximation systems. Int. J. Approximate Reasoning, 49(2), 466-477.

Bunder, M.W., Banerjee, M. and Chakraborty, M.K. (2008): Some rough consequence logics and their interrelations. Transactions on Rough Sets VIII, LNCS 5084, 1-20.

Banerjee, M., Mitra, S. and Banka, H. (2007): Evolutionary-rough feature selection in gene expression data. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 37(4), 622-631.

Banerjee, M. and Khan, M.A. (2007): Propositional logics from rough set theory. Transactions on Rough Sets VI, LNCS 4374, 1-25.

Chakraborty, M.K. and Banerjee, M. (2007): Rough dialogue and implication lattices. Fundamenta Informaticae, 75(1-4), 123-139.

Banerjee, M. (2006): Rough belief change. Transactions on Rough Sets V, LNCS 4100, 25-38.

Banerjee, M. (2006): Logic for rough truth. Fundamenta Informaticae, 71(2,3), 139-151.

Banerjee, M. and Chakraborty, M.K. (2003): Foundations of vagueness: a category-theoretic approach. Electronic Notes Th. Comp. Sc., 82(4), 2003.

Banerjee, M., Mitra, S. and Pal, S.K. (1998): Rough fuzzy MLP - knowledge encoding and classification. IEEE Transactions on Neural Networks, 9(6), 1203-1216.

Mitra, S., Banerjee, M. and Pal, S.K. (1998): Rough knowledge-based network, fuzziness and classification. Neural Computing and Applications, 7, 17-25.

Banerjee, M. (1997): Rough sets and 3-valued Łukasiewicz logic. Fundamenta Informaticae, 32(1), 213-220.

Banerjee, M. and Chakraborty, M.K. (1996): Rough sets through algebraic logic. Fundamenta Informaticae, 28(3-4), 211-221.

Banerjee, M. and Pal, S.K. (1996): Roughness of a fuzzy set. Information Sciences (Informatics and Computer Sc.), 93(3-4), 235-246.

Chakraborty, M.K. and Banerjee, M. (1994): Saturatedness and a hierarchy of approximate identities. Int. Jour. Uncertainty, Fuzziness and Knowledge-based Systems, 2(4), 429-444.

Chakraborty, M.K. and Banerjee, M. (1993): Rough logic with rough quantifiers. Bull. Polish Acad. Sc. (Math.), 41(4), 305-315.

Chakraborty, M.K. and Banerjee, M. (1993): Rough consequence. Bull. Polish Acad. Sc. (Math.), 41(4), 299-304.

Banerjee, M. and Chakraborty, M.K. (1993): Rough algebra. Bull. Polish Acad. Sc. (Math.), 41(4), 293-297.

Banerjee, M. and Chakraborty, M.K. (1993): A category for rough sets. Foundations of Computing and Decision Sciences, 18(3-4),167-180.

Chakraborty, M.K. and Banerjee, M. (1992): A new category for fuzzy topological spaces. Fuzzy Sets and Systems, 51, 227-233.

Conferences

Saha, Bidhan, Banerjee, M. and Dutta, S. (2023): Paraconsistent Logics: A Survey Focussing on the Rough Set Approach. In: LNCS 14481, Proc. International Joint Conference on Rough Sets (IJCRS 2023), Krakow, Poland, 2023, Eds. A. Campagner et al. (Springer), 2023, 105-121.

Howlader, Prosenjit and Banerjee, M. (2021): Double Boolean algebras with operators (Extended abstract). In: Proc. ICLA 2021.

Howlader, Prosenjit and Banerjee, M. (2020): Object oriented protoconcepts and logics for double and pure double Boolean algebras. In: LNCS 12179, Proc. International Joint Conference on Rough Sets (IJCRS 2020), Havana, Cuba, 2020, Eds. Rafael Bello et al. (Springer), 2020, 308-323.

Howlader, Prosenjit and Banerjee, M. (2020): Remarks on prime ideal and representation theorems for double Boolean algebras. In: CEUR Workshop Proceedings 2668, Proc. 15th International Conference on Concept Lattices and their Applications (CLA 2020), Tallinn, Estonia, 2020, Eds. F.J. Valverde-Albacete and M. Trnecka (CEUR-WS.org), 2020, 83-94.

Panicker, Gayatri and Banerjee, M. (2019): (Best Paper Award at IJCRS 2019) Rough sets and the algebra of conditional logic. In: LNCS 11499, Proc. International Joint Conference on Rough Sets (IJCRS 2019), Debrecen, Hungary, 2019, Eds. Tamas Mihalydeak et al. (Springer), 28-39.

Howlader, Prosenjit and Banerjee, M. (2018): Algebras from semiconcepts in rough set theory. In: LNAI 11103, Proc. International Joint Conference on Rough Sets (IJCRS 2018), Quy Nhon, Vietnam, 2018, Eds. Hung Son Nguyen et al. (Springer), 440-454.

More, Anuj Kumar and Banerjee, M. (2018): (Best Student Paper Award at IJCRS 2019) Transformation semigroups for rough sets. In: LNAI 11103, Proc. International Joint Conference on Rough Sets (IJCRS 2018), Quy Nhon, Vietnam, 2018, Eds. Hung Son Nguyen et al. (Springer), 584-598.

More, Anuj Kumar and Banerjee, M. (2017): New algebras and logic from a category of rough sets. In: LNAI 10313, Proc. International Joint Conference on Rough Sets (IJCRS (1) 2017), Olsztyn, Poland, 2017, Eds. Polkowski L. et al. (Springer), 95-108.

Kumar, Arun and Banerjee, M. (2017): A semantic analysis of Stone and dual Stone negations with regularity. In: LNCS 10119, Proc. Logic and Its Applications (ICLA 2017), IIT Kanpur, 2017, Eds. Ghosh S., Prasad S. (Springer), 139-153.
Banerjee, M., Ju, Shier, Khan, M.A. and Tang, Liping (2015): Open world models: a view from rough set theory. In: Facets of Uncertainties and Applications, Proc. ICFUA, Kolkata, 2013, Eds. Chakraborty, M.K. et al. (Springer-Verlag), 77-86.
Banerjee, M., Dubois, D. and Godo, L. (2014): Possibilistic vs. relational semantics for logics of incomplete information. In: CCIS 442, Proc. Information Processing and Management of Uncertainty (IPMU'2014), Montpellier, France, 2014, Eds. Laurent, A. et al. (Springer-Verlag), 335-344. 
Banerjee, M., Dubois, D., Prade, H. and Schockaert, S. (2013): La logique possibiliste generalisee. In: Proc. Actes des Rencontres Francophones sur la Logique Floue et ses Applications (LFA'13), Reims, France, 2013.
Kumar, Arun and Banerjee, M. (2012): Definable and rough sets in covering-based approximation spaces. In: LNAI 7414, Proc. Rough Sets and Knowledge Technology (RSKT 2012), Chengdu, China, 2012, 
Eds. Li, T. et al. (Springer-Verlag), 488-495.
Khan, M.A. and Banerjee, M. (2011): Information systems and rough set approximations: an algebraic approach. In: LNCS 6744, Proc. 4th Int. Conf. on Pattern Recognition and Machine Intelligence (PReMI '11), 
Moscow, Russia, 2011, Eds. Kuznetsov, S.O. et al. (Springer-Verlag), 744-749.
Banerjee, M., Pathak, A., Krishna G. and Mukerjee, A. (2010): Communicative approximations as rough sets. In: LNCS 6086, Proc. Rough Sets and Current Trends in Computing (RSCTC 2010), 
Warsaw, Poland, 2010, Eds. Szczuka, M.S. et al. (Springer-Verlag), 317-326.
Khan, M.A. and Banerjee, M. (2010): A preference-based multiple-source rough set model. In: LNCS 6086, Proc. Rough Sets and Current Trends in Computing (RSCTC 2010), Warsaw, Poland, 2010, 
Eds. Szczuka, M.S. et al. (Springer-Verlag), 247-256.
Khan, M.A. and Banerjee, M. (2009): An algebraic semantics for the logic of multiple-source approximation systems. In: LNCS 5908, Proc. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 
(RSFDGrC 2009), Delhi, India, 2009, Eds. Sakai, H. et al. (Springer-Verlag), 69-76.

Khan, M.A. and Banerjee, M. (2009): A dynamic logic for multi-agent partial knowledge information systems. In: Proc. Workshop on Logical Methods for Social Concepts (LMSC'09), ESSLLI 2009, Bordeaux,

2009, Eds. Herzig, A. and Lorini, E.; available at http://www.irit.fr/~Andreas.Herzig/Esslli09/.

Banerjee, M. and Dubois, D. (2009): A simple modal logic for reasoning about revealed beliefs. In: LNCS 5590, Proc. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, 2009, Eds. Sossai, C. and Chemello, G. (Springer-Verlag), 805-816.

Khan, M.A. and Banerjee, M. (2009): A logic for complete information systems. In: LNCS 5590, Proc. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, 2009, Eds. Sossai, C. and Chemello, G. (Springer-Verlag), 829-840.

Banerjee, M. and Khan, M.A. (2008): Rough set theory: a temporal logic view. In: Studies in Logic Vol. 15, Proc. Logic, Navya-Nyāya & Applications: Homage to Bimal Krishna Matilal, January 2007, Kolkata, Eds. Chakraborty, M.K. et al. (College Publications, London), 1-20.

Khan, M.A. and Banerjee, M. (2008): Multiple-source approximation systems: membership functions and indiscernibility. In: LNAI 5009, Proc. Rough Sets and Knowledge Technology (RSKT 2008), 2008, Chengdu, China, Eds. Wang, G. et al. (Springer-Verlag), 80-87.

Banerjee, M. and Yao, Y. (2007): A categorial basis for granular computing, In: LNAI 4482, Proc. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC2007), Toronto, Canada, 2007, Eds. An, A.et al. (Springer-Verlag), 427-434.

Banerjee, M. and Pal, K. (2005): The variety of topological quasi-Boolean algebras, Trends in Logic III - Conference in Memoriam of Mostowski, Rasiowa, Rauszer, Warsaw, Poland, Sept., 2005, Extended Abstract available at http://www.mimuw.edu.pl/~mrr/.

Banerjee, M. and Singh, P.K. (2005): Rough contraction through partial meets. In: LNCS 3776, Proc. 1st Int. Conf. on Pattern Recognition and Machine Intelligence (PReMI '05), Kolkata, India, 2005, Eds. Pal, S.K. et al. (Springer-Verlag), 726-731.

Janardhan Rao, D.V., Mitra, P. and Banerjee, M. (2005): Object extraction in grey-scale images using roughness measure of a fuzzy set. In: LNCS 3776, Proc. 1st Int. Conf. on Pattern Recognition and Machine Intelligence (PReMI '05), Kolkata, India, 2005, Eds. Pal, S.K. et al. (Springer-Verlag), 744-749.

Banerjee, M. (2004): Rough truth, consequence, consistency and belief revision. In: LNAI 3066, Proc. Int. Conf. On Rough Sets and Current Trends in Computing (RSCTC 2004), Uppsala, Sweden, 2004, Eds. Tsumoto, S. et al. (Springer-Verlag), 95-102.

Chakraborty, M.K. and Banerjee, M. (2004): Dialogue in rough context. In: LNAI 3066, Proc. Int. Conf. On Rough Sets and Current Trends in Computing (RSCTC 2004), Uppsala, Sweden, 2004, Eds. Tsumoto, S. et al. (Springer-Verlag), 295-299.

Banerjee, M. (2002): A rough set semantics for 3-valued Łukasiewicz logic. In: Fuzzy Set Theory and its Mathematical Aspects and Applications, Proc. Conf. on Fuzzy Set Theory and its Mathematical Aspects and Applications, BHU, Varanasi, 2002, Ed. Srivastava, A.K. (Allied Publishers, New Delhi), 76-80.

Banerjee, M. (1998): Reasoning about imprecision. In: Proc. Eighth National Seminar on Theoretical Computer Science, Bhubaneswar, India, 1998, 35-45.

Chakraborty, M.K. and Banerjee, M. (1997): In search of a common foundation for rough sets and fuzzy sets. In: Proc. Fifth European Congress on Intelligent Techniques and Soft Computing (EUFIT '97), Aachen, Germany, Verlag Mainz, 1, 218-220.

Banerjee, M., Mitra, S. and Pal, S.K. (1997): Knowledge-based fuzzy MLP with rough sets. In: Proc. Int. Conf. on Neural Networks (ICNN '97), Houston, U.S.A., 1997, 499-504.

Mitra, S. and Banerjee, M. (1996): Knowledge-based neural net with rough sets. In: Methodologies for the Conception, Design, and Application of Intelligent Systems, Proc. Fourth Int. Conf. on Soft Computing (IIZUKA '96), Iizuka, Japan, 1996, Eds. Yamakawa, T. and Matsumoto (World Scientific, Singapore), 213-216.

Wasilewska, A. and Banerjee, M. (1995): Rough sets and topological quasi-Boolean algebras. In: Proc. 23rd Ann. ACM CSC '95, Rough Sets and Database Mining, San Jose State Univ., U.S.A., 1995, Ed. Lin, T.Y., 121-128.

Banerjee, M. (1995): Rough predicate logics and a new system. In: Soft Computing: Rough Sets, Fuzzy Logic, Neural Computing, Networks, Uncertainty Management and Knowledge Discovery, Proc. Third Workshop on Rough Sets and Soft Computing (RSSC '94), San Jose, U.S.A. 1994, Eds. Lin, T.Y. and Wildberger, A.M. (The Society for Computer Simulation, San Diego), 48-50.

Banerjee, M. and Chakraborty, M.K. (1994): Rough consequence and rough algebra. In: Rough Sets, Fuzzy Sets and Knowledge Discovery, Proc. Int. Workshop on Rough Sets and Knowledge Discovery (RSKD '93), Banff, Canada 1993, Ed. Ziarko, W.P. (Springer-Verlag), 196-207.

Banerjee, M. and Chakraborty, M.K. (1994): Logic of rough sets. In: Incompleteness and Uncertainty in Information Systems, Proc. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada 1993, Eds. Alagar, V.S. et.al. (Springer-Verlag), 223-233.

Books/Journal special issue

co-edited with Mihir K. Chakraborty and Andrzej Szałas (2024): Journal of Applied Non-Classical Logics, Volume 34, 2024, Issue 2-3: Logics from Rough Sets.

co-edited with A.V. Sreejith (2023): Logic and Its Applications. 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. LNCS 13963 (Springer-Verlag).

co-edited with Tamas Mihalydeak, Fan Min, Guoyin Wang, Mohua Banerjee, Ivo Duntsch, Zbigniew Suraj and Davide Ciucci (2019): Rough Sets. International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings. LNAI 11499 (Springer Nature Switzerland AG).

co-edited with Krishna S. (2015): Logic and Its Applications. 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015, Proceedings. LNCS 8923 (Springer-Verlag).

co-edited with A. Seth (2011): Logic and Its Applications. 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings. LNCS 6521 (Springer-Verlag).

Invited Book Chapters

Banerjee, M. (2022): Algebraic logic and rough set theory. In: Handbook of Logical Thought in India, Eds. Sarukkai, S. and Chakraborty, M.K. (Springer, New Delhi), 1-50.

Khan, M.A. and Banerjee, M. (2013): Algebras for information systems. In:  Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, Eds. Skowron, A. and Suraj, Z., Intelligent Systems Reference Library (ISRL) 42,  (Springer-Verlag, Berlin), 381-407.

Mitra, S. and Banerjee M. (2008): Rough-neural methodologies in granular computing. In: Handbook of Granular Computing, Eds. Pedrycz, W., Skowron, A., and Kreinovich, V. (John Wiley & Sons, Chichester), 657-669.

Banerjee, M., Mitra, S. and Anand, A. (2006): Feature selection using rough sets. In: Multi-Objective Machine Learning, Ed. Yaochu Jin, Series on Studies in Computational Intelligence 16 (Springer-Verlag, Berlin), 3-20.

Banerjee, M. and Chakraborty, M.K. (2004): Algebras from Rough Sets. In: Rough-Neuro Computing : Techniques for Computing with Words, Eds. Pal, S.K., Polkowski, L. and Skowron, A. (Springer-Verlag, Berlin), 157-184.

Mitra, S., Pal, S.K. and Banerjee, M. (1999): Rough fuzzy knowledge-based network - a soft computing approach. In: Rough Fuzzy Hybridization : A New Trend in Decision-Making, Eds. Pal, S.K. and Skowron, A. (Springer-Verlag, Singapore), 428-454.

Banerjee, M. and Chakraborty, M.K. (1998): Rough logics: a survey with further directions. In: Incomplete Information: Rough Set Analysis, Ed. Orłowska, E. (Physica, Springer-Verlag, Heidelberg), 579-600.

Chakraborty, M.K. and Banerjee, M. (1995): "Identity" and "property" in vagueness. In: Facets of Rationality, Eds. Andler, D. et.al. (Sage Publications, New Delhi), 227-238. 

Other Papers Presented in Conferences (not published)

Banerjee, M.: Paraconsistency and Jaśkowski's problem, Seminar on Methodology & Science, Visva-Bharati University, West Bengal, Dec. 2004

Srivastava, S and Banerjee, M.: Belief revision, non-monotonic reasoning and an application. Annual National Seminar of the Calcutta Logic Circle on Logic, Automata and Modelling, Dept. of Pure Mathematics, Univ. of Calcutta, June, 2001.

Banerjee, M.: Auto-epistemic reasoning. Annual National Seminar of the Calcutta Logic Circle on Logic and Applications, Dept. of Pure Mathematics, Univ. of Calcutta, Sept. 2000.

Murali Krishnan, G. and Banerjee, M.: Non-monotonic reasoning - a sketch. Seminar on Methodology and Science, Visva-Bharati, West Bengal, March, 1999.

Home