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)

Abstract

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.

Keywords

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

References

  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)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Chakraborty, M.K., Basu, S.: Graded Consequence and some Metalogical Notions Generalized. Fundamenta Informaticae 32, 299–311 (1997)MathSciNetMATHGoogle Scholar
  4. 4.
    Chakraborty, M.K., Dutta, S.: Graded Consequence Revisited. Fuzzy Sets and Systems 161(14), 1885–1905 (2010)MathSciNetCrossRefMATHGoogle 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)CrossRefMATHGoogle 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