Publications
Journals
Saha, Bidhan, Dutta, S. and Banerjee, M. (2025): Some new three-valued
paraconsistent logics. Studia Logica, published online: https://doi.org/10.1007/s11225-025-10222-9
Saha, Bidhan, Banerjee,
M. and Dutta, S. (2025): New
paraconsistent modal logics based on rough modus ponens rules and their interrelations,
Int. J. Approximate Reasoning, published online: https://doi.org/10.1016/j.ijar.2025.109587
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.
(2025): Algebras and logics: A view from rough set theory. In: Remodelling Indian thoughts: Homage to Bimal
Krishna Matilal, Eds. Chattopadhyay, M. and Goswami, G. (Motilal Banarsidass Publishing House), 238.
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.