Department of Pure Mathematics, University of Calcutta, Kolkata 700019, India;
Center for Soft Computing Research, Indian Statistical Institute, Kolkata 700108, India;
Department of mathematics,Visva-Bharati, Santiniketan 731235, India;
nonmonotonicity; Boolean algebra; sequent calculus; Lindenbaum algebra;