Introduction, Elimination Rules for ¬ and ⊃: A Study from Graded Context
Conference paper
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 Download
to read the full conference paper text
References
- 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.Chakraborty, M.K.: Graded Consequence: further studies. Journal of Applied Non-Classical Logics 5(2), 127–137 (1995)MathSciNetCrossRefMATHGoogle Scholar
- 3.Chakraborty, M.K., Basu, S.: Graded Consequence and some Metalogical Notions Generalized. Fundamenta Informaticae 32, 299–311 (1997)MathSciNetMATHGoogle Scholar
- 4.Chakraborty, M.K., Dutta, S.: Graded Consequence Revisited. Fuzzy Sets and Systems 161(14), 1885–1905 (2010)MathSciNetCrossRefMATHGoogle Scholar
- 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.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.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.Shoesmith, D.J., Smiley, T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)CrossRefMATHGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2011