Introduction, Elimination Rules for ¬ and ⊃: A Study from Graded Context

  • Soma Dutta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6744)


This paper is aimed to study the algebraic background of some proof theoretic rules in a set up where distinct levels of logic activity have been maintained carefully. In this regard, Introduction, Elimination rules for ¬, and ⊃ have been considered as specific cases whose necessary and sufficient conditions from the perspective of graded consequence will reveal a new analysis.


Graded consequence Object level algebra Meta level algebra Introduction and Elimination rules Proof theory 


  1. 1.
    Chakraborty, M.K.: Use of fuzzy set theory in introducing graded consequence in multiple valued logic. In: Gupta, M.M., Yamakawa, T. (eds.) Fuzzy Logic in Knowledge-Based Systems, Decision and Control, pp. 247–257. Elsevier Science Publishers, B.V., North Holland (1988)Google Scholar
  2. 2.
    Chakraborty, M.K.: Graded Consequence: further studies. Journal of Applied Non-Classical Logics 5(2), 127–137 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Chakraborty, M.K., Basu, S.: Graded Consequence and some Metalogical Notions Generalized. Fundamenta Informaticae 32, 299–311 (1997)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Chakraborty, M.K., Dutta, S.: Graded Consequence Revisited. Fuzzy Sets and Systems 161(14), 1885–1905 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Gentzen, G.: Investigations into Logical Deductions. In: Gentzen, G., Szabo, M.E. (eds.) The collected papers, pp. 68–131. North Holland Publications, Amsterdam (1969)Google Scholar
  6. 6.
    Gottwald, S.: An approach to handle partially sound rules of inference. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds.) IPMU 1994. LNCS, vol. 945, pp. 380–388. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  7. 7.
    Ono, H.: Substructural Logics and Residuated Lattices - an Introduction. In: Hendricks, V.F., Malinowski, J. (eds.) Trends in Logic 20, pp. 177–212. Kluwer Academic Publishers, Netherlands (2003)Google Scholar
  8. 8.
    Shoesmith, D.J., Smiley, T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Soma Dutta
    • 1
  1. 1.Indian Institute of Bio-Social Research and DevelopmentKolkataIndia

Personalised recommendations