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 (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.
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.