Graded consequence and some metalogical notions generalized

Fundamenta Informaticae

Volumn 32, Issue 3-4, 1997, Pages 299-311

  Chakraborty, Mihir K ^a   Basu, Sanjukta ^a  

^a UNIVERSITY OF CALCUTTA   (India)

Author keywords

Fuzzy logic; Fuzzy set; Graded consequence; Residuated lattice

Indexed keywords

EID: 3042572513     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1997-323405     Document Type: Article

References (36)

1. W. Bandler and L.J. Kohout, "Semantics of implication operators and fuzzy relational products", in : E.H. Mamdani and B.R. Gaines (eds.), Fuzzy Reasoning and its Applications, Academic Press, London, 1981, 219-246.
2. M. Black, "Vagueness - an exercise in logical analysis" (1937), [in:] M. Black, Language and Philosophy, Cornell Univ. Press, New York, 1954, 25-58.
3. J.L. Castro, E. Trillas and S. Cubillo, "On consequence in approximate reasoning", preprint.
4. M.K. Chakraborty, "Use of fuzzy set theory in introducing graded consequence in multiple valued logic", in : M.M. Gupta and T. Yamakawa (eds.), Fuzzy Logic in Knowledge-Based Systems, Decision and Control, Elsevier Science Publishers B.V. (North-Holland), 1988, 247-257.
5. M.K. Chakraborty, "Graded consequence : further studies", Journal of Applied Non-Classical Logics, 5(2), 1995, 127-137.
6. M.K. Chakraborty and S. Basu, "Introducing grade to some metalogical notions", Proc. Fuzzy Logic Laboratorium, Linz, 1996.
7. J.P. Cleave,"The notion of logical consequence in the logic of inexact predicates", Zeitscher. f. Math. Logik und Grundlagen d. Math., 20, 1974, 307-324.
8. D. Dubois, J. Lang and H. Prade, "Possibilistic logic", in : D.M. Gabbay and C.J. Hogger (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Clarendon Press, Oxford, 1994, 439-510.
9. E.A. Edmonds, "Lattice fuzzy logics", Int. J. Man-Machine Studies, 13, 1980, 455-465.
10. G. Frege, Translations from the Philosophical Writings of Frege, P. Gleach and M. Black (eds.), Basil Blackwell, Oxford, 1952.
11. B.R. Gaines, "Foundations of fuzzy reasoning", in : M.M. Gupta, G.N. Saridis and B.R. Gaines (eds.), Fuzzy Automata and Decision Processes, North-Holland, Amsterdam, 1977, 19-75.
12. G. Gentzen, "Investigations into logical deduction", in : M.E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, 68-131.
13. G. Gerla, "An extension principle for fuzzy logic", Mathematical Logic Quarterly, to appear.
14. G. Gerla, "Graded consequence relations and fuzzy closure operators", Journal of Applied Non-Classical Logics, to appear.
15. G. Gerla and R. Tortora, "Fuzzy natural deduction", Zeitscher, f. Math. Logik und Grundlagen d. Math., 36, 1990, 67-77.
16. J.A. Goguen, "The logic of inexact concepts", Synthese, 19, 1968/69, 325-373.
17. S. Gottwald, Fuzzy Sets and Fuzzy Logic, Vieweg, Wiesbaden, 1993.
18. P. Hájek, L. Godo and F. Esteva, "A complete many-valued logic with product-conjunction", Arch. Math. Logic, 35, 1996, 191-208.
19. P. Hájek, "Fuzzy logic from the logical point of view", preprint.
20. V. Novak, "Fuzzy sets and t-norms in the light of fuzzy logic", Int. J. Man-Machine Studies, 29, 1988, 113-127.
21. V. Novak, "On syntactico-semantical completeness of first order fuzzy logic, Parts I and II", Kybernetica, 26(1,2), Academia Praha, 1990, 47-154.
22. J. Pavelka, "On fuzzy logic, I,II,III", Zeitscher, f. Math. Logik und Grundlagen d. Math., 25, 1979, 45-52, 119-134, 447-464.
23. H. Rasiowa, "Toward fuzzy logic", in : L.A. Zadeh and J. Kacprzyk (eds.), Fuzzy Logic for the Management of Uncertainty, 1992, 5-25.
24. H. Rasiowa, "On approximation logics : a survey", Jahrbuch 1990 der Kurt-G'odel-Gesellschaft, 1990, 63-87.
25. H. Rasiowa, An Algebraic Approach to Non-classical Logics, Amsterdam: North Holland, 1974.
26. H. Rasiowa and N. Cat Ho, "LT-fuzzy sets", Fuzzy Sets and Systems, 47, 1992, 323-339.
27. B. Russell, "Vagueness", Australian J. of Philosophy, 1, 1923, 85-92.
28. B. Russell and A.N. Whitehead, Principia Mathematica, Cambridge Univ. Press, 1927.
29. D.J. Shoesmith and T.J. Smiley, Multiple Conclusion Logic, Cambridge Univ. Press, 1978.
30. Z. Sikic, "A proof of the characterization theorem for consequence relations", Zeitscher. f. Math. Logik und Grundlagen d. Math., 37, 1991, 41-43.
31. S.J. Surma, "The growth of logic out of the foundational research in mathematics", in : E. Agazzi (ed.), Modern Logic - A Survey, D. Reidel Pub. Co., 1980, 15-33.
32. A. Tarski, "Methodology of deductive sciences", in : Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, 60-109.
33. E. Turunen, "Algebraic structures in fuzzy logic", Fuzzy Sets and Systems, 52, 1992, 181-188.
34. E. Turunen, "On fuzzy intuitionistic logic", in : L.A. Zadeh and J. Kacprzyk (eds.), Fuzzy Logic for the Management of Uncertainty, 1992, 159-169.
35. L.A. Zadeh, "Fuzzy sets", Information and Control, 8, 1965, 338-353.
36. L.A. Zadeh, "Fuzzy logic and approximate reasoning" (in memory of Moisil), Synthese, 30, 1975, 407-428.