Issues on adjointness in multiple-valued logics

Information Sciences

Volumn 176, Issue 19, 2006, Pages 2886-2909

  Morsi, Nehad N ^a   Roshdy, Elewa M ^b  

^a Arab Academy for Science Technology and Maritime Transport ^*  (Egypt)

^b Military Technical College   (Egypt)

Author keywords

Adjointness; Conjunction; Generalized modus ponens; Implication; Non classical logics

Indexed keywords

FORMAL LANGUAGES; INFERENCE ENGINES; INFORMATION ANALYSIS; LOGIC PROGRAMMING;

ADJOINTNESS; CONJUNCTION; GENERALIZED MODUS PONENS; IMPLICATION; NON-CLASSICAL LOGICS;

FORMAL LOGIC;

EID: 33745745447     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2005.08.005     Document Type: Article

References (59)

1. Abdel-Hamid A.A., and Morsi N.N. Associatively tied implications. Fuzzy Sets Syst. 136 (2003) 291-311
2. Blyth T.S., and Janowitz M.F. Residuation Theory (1972), Pergamon Press, Oxford
3. De Baets B. Model implicators and their characterization. In: Steele N. (Ed). Proceedings of First ICSC International Symposium on Fuzzy Logic (1995), ICSC Academic Press A42-A49
4. K. Demirli, An extended framework for operator selection in generalized modus ponens, in: Proceedings of International Conference on Systems, Man and Cybernetics, 1995, pp. 357-363.
5. Demirli K., and De Baets B. Basic Properties of implicators in a residual framework. Tatra Mt. Math. Publ. 16 (1999) 1-16
6. Dilworth R.P. Abstract residuation over lattices. Bull. Am. Math. Soc. 44 (1938) 262-268
7. Dilworth R.P., and Ward N. Residuated lattices. Trans. Am. Math. Soc. 45 (1939) 335-354
8. In: Dosen K., and Schroeder-Heister P. (Eds). Substructural Logics (1993), Oxford University Press, Northants
9. Drewniak J. Fuzzy relation equations and inequalities. Fuzzy Sets Syst. 14 (1984) 237-247
10. Dubois D., and Prade H. A theorem on implication functions defined from triangular norms. Stochastica 8 3 (1984) 267-279
11. Dubois D., and Prade H. A review of fuzzy set aggregation connectives. Inform. Sci. 36 (1985) 85-121
12. Dubois D., and Prade H. Fuzzy-set-theoretic differences and inclusions and their use in the analysis of fuzzy equations. Contr. Cybernet. 13 (1984) 129-146
13. Dubois D., and Prade H. Fuzzy logics and the generalized modus ponens revisited. Int. J. Cybernet. Syst. 15 (1984) 293-331
14. Dubois D., and Prade H. Fuzzy sets in approximate reasoning, Part I: Inference with possibility distributions. Fuzzy Sets Syst. 40 (1991) 143-202
15. Dubois D., and Prade H. The three semantics of fuzzy sets. Fuzzy Sets Syst. 90 (1997) 141-150
16. El-Abyad A.M., Gouda S.A., Morsi N.N., and Yehia S.E. On compatibility of two extension algorithms with the extension principle of Zadeh. J. Fuzzy Math. 3 (1995) 243-260
17. Esteva F., Gispert J., Godo L., and Montagna F. On the standard and rational completeness of some axiomatic extensions of Monoidal t-norm based logic. Stud. Logica 71 (2002) 393-420
18. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124 (2001) 271-288
19. Esteva F., Godo L., and Garc'a-Cerdaña A. On the hierarchy of t-norm based residuated fuzzy logics. In: Orlowska E., and Fitting M. (Eds). Studies in Fuzziness and Soft Computing (2003), Physica-Verlag, Heidelberg 251-272
20. Esteva F., Godo L., Hájek P., and Navara M. Residuated fuzzy logics with an involutive negation. Arch. Math. Logic 39 (2000) 103-124
21. Fodor J.C. On fuzzy implication operators. Fuzzy Sets Syst. 42 (1991) 293-300
22. Fodor J.C. A new look at fuzzy connectives. Fuzzy Sets Syst. 57 (1993) 141-148
23. Fodor J.C., and Roubens M. Fuzzy Preference Modelling and Multicriteria Decision Support (2005), Kluwer Academic Publishers, Dordrecht
24. Fukami S., Mizumoto M., and Tanaka K. Some considerations on fuzzy conditional inference. Fuzzy Sets Syst. 4 (1980) 243-273
25. Gierz G., et al. A Compendium of Continuous Lattices (1980), Springer-Verlag, Berlin
26. Gottwald S. Many-valued logic and fuzzy set theory. In: Höhle U., and Rodabaugh S.E. (Eds). Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory (1999), Kluwer Academic Publishers, Dordrecht (Chapter 1)
27. Gottwald S. A Treatise on Many-Valued Logic (2001), Research Studies Press, Baldock
28. Gottwald S., and Jenei S. A new axiomatization for involutive monoidal t-norm based logic. Fuzzy Sets Syst. 124 3 (2001) 303-308
29. Gottwald S., and Pedrycz W. Solvability of fuzzy relational equations and manipulation of fuzzy data. Fuzzy Sets Syst. 18 (1986) 1-21
30. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
31. Hájek P. Basic fuzzy logic and BL-algebras. Soft Comput. 2 (1998) 124-128
32. P. Hájek, Observations on the monoidal t-norm logic, Fuzzy Sets and Systems, in press.
33. Höhle U. Monoidal logic. In: Kruse R., Gebhardt J., and Palm R. (Eds). Fuzzy Systems in Computer Science (1994), Vieweg, Wiesbaden 233-243
34. Höhle U. Commutative, residuated ℓ-monoids. In: Höhle U., and Klement E.P. (Eds). Non-classical Logics and their Applications to Fuzzy Subsets (1995), Kluwer Academic Publishers, Dordrecht 53-106
35. Höhle U. Presheaves over GL-monoids. In: Höhle U., and Klement E.P. (Eds). Non-classical Logics and their Applications to Fuzzy Subsets (1995), Kluwer Academic Publishers, Dordrecht 127-157
36. Jenei S., and Montagna F. A general method for constructing left-continuous t-norms. Fuzzy Sets Syst. 136 (2003) 263-282
37. S. Jenei, F. Montagna, A proof of standard completeness for Esteva and Godo's logic MTL, Studia Logica, in press.
38. Klement E.P., Mesiar R., and Pap E. Triangular Norms (2000), Kluwer, Dordrecht
39. Magrez P., and Smets Ph. Fuzzy modus ponens: a new model suitable for applications in knowledge-based systems. Int. J. Intell. Syst. 4 (1989) 181-200
40. Morsi N.N. Fuzzy T-locality spaces. Fuzzy Sets Syst. 69 (1995) 193-219
41. Morsi N.N. Dual fuzzy neighbourhood spaces II. J. Fuzzy Math. 3 (1995) 29-67
42. Morsi N.N. On two types of stable subconstructs of FTS. Fuzzy Sets Syst. 76 (1995) 191-203
43. Morsi N.N. Propositional calculus under adjointness. Fuzzy Sets Syst. 132 (2002) 91-106
44. Morsi N.N. A small set of axioms for residuated logic. Inform. Sci. 175 (2005) 85-96
45. N.N. Morsi, Many-valued topological spaces with localization at points, in preparation.
46. Morsi N.N., and Fahmy A.A. On generalized modus ponens with multiple rules and a residuated implication. Fuzzy Sets Syst. 129 (2002) 267-274
47. Morsi N.N., Aziz Mohammed E.A., and El-Zekey M.S. Propositional calculus for adjointness lattices. Mathware Soft Comput. 9 (2002) 5-23
48. Pavelka J. On fuzzy logic. Z. Math. Logik, I, II, III 25 (1979) 45-52 119-134, 447-464
49. Pedrycz W. Fuzzy relational equations with generalized connectives and their applications. Fuzzy Sets Syst. 10 (1983) 185-201
50. Rasiowa H. An Algebraic Approach to Non-classical Logics (1974), PWN, Warszawa
51. Restall G. An Introduction to Substructural Logics (2000), Routledge, London, New York
52. Schweizer B., and Sklar A. Probabilistic Metric Spaces (1983), North-Holland, Amsterdam
53. D. Scott, Continuous lattices, in: Proceedings of 1971 Dalhousie Conference, Lecture Notes in Mathematics 274, Springer-Verlag, New York, 1972, pp. 97-136.
54. Smets Ph., and Magrez P. Implication in fuzzy logic. Int. J. Approx. Reason. 1 (1987) 327-347
55. Turksen I.B., and Tian Y. Combination of rules or their consequences in fuzzy expert systems. Fuzzy Sets Syst. 58 (1993) 3-40
56. Turunen E. Algebraic structures in fuzzy logic. Fuzzy Sets Syst. 52 (1992) 181-188
57. Turunen E. Mathematics Behind Fuzzy Logic (1999), Physica-Verlag, Heidelberg
58. Valverde L. On the structure of F-indistinguishability operators. Fuzzy Sets and Systems 17 (1985) 313-328
59. Zadeh L.A. Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. Syst. Man Cybernet. 9 (1973) 28-44