A small set of axioms for residuated logic

Information Sciences

Volumn 175, Issue 1-2, 2005, Pages 85-96

  Morsi, Nehad N ^a  

^a Technology and Maritime Transport   (Egypt)

Author keywords

Nonclassical logics; Residuated logic

Indexed keywords

ALGEBRA; FORMAL LOGIC; FUZZY SETS; MATHEMATICAL MODELS;

FORMAL SYSTEM; FUZZY QUALITIES; NONCLASSICAL LOGICS; RESIDUATED LOGIC;

SET THEORY;

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

References (40)

1. K. Dosen, and P. Schroeder-Heister Substructural Logics 1993 Oxford University Press Oxford
2. C. Alsina, E. Trillas, and L. Valverde On some logical connectives for fuzzy set theory Journal of Mathematical Analysis and Applications 93 1983 15 26
3. W.J. Blok, and I.M.A. Ferreirim On the structure of hoops Algebra Universalis 43 2000 233 257
4. T.S. Blyth, and M.F. Janowitz Residuation Theory 1972 Pergamon Press Oxford
5. B. De Baets Model implicators and their characterization N. Steele Proceedings of First ICSC International Symposium on Fuzzy Logic 1995 ICSC Academic Press A42 A49
6. K. Demirli, and B. De Baets Basic properties of implicators in a residual framework Tatra Mt. Math. Publ. 16 1999 1 16
7. J. Drewniak Fuzzy relation equations and inequalities Fuzzy Sets and Systems 14 1984 237 247
8. D. Dubois, and H. Prade A theorem on implication functions defined from triangular norms Stochastica 8 3 1984 267 279
9. D. Dubois, and H. Prade A review of fuzzy set aggregation connectives Information Sciences 36 1985 85 121
10. D. Dubois, and H. Prade Fuzzy-set-theoretic differences and inclusions and their use in the analysis of fuzzy equations Control and Cybernetics 13 1984 129 146
11. D. Dubois, and H. Prade Fuzzy logics and the generalized modus ponens revisited International Journal on Cybernetics and Systems 15 1984 293 331
12. D. Dubois, and H. Prade Fuzzy sets in approximate reasoning, Part I: Inference with possibility distributions Fuzzy Sets and Systems 40 1991 143 202
13. J.C. Fodor On fuzzy implication operators Fuzzy Sets and Systems 42 1991 293 300
14. B.R. Gaines Foundations of fuzzy reasoning International Journal on Man-Machine Studies 8 1978 623 668
15. J. Goguen The logic of inexact concepts Synthese 19 1969 325 373
16. S. Gottwald Many-valued logic and fuzzy set theory U. Höhle S.E. Rodabaugh Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory 1999 Kluwer Academic Publishers Dordrecht (Chapter 1)
17. S. Gottwald A Treatise on Many-Valued Logic 2001 Research Studies Press Baldock
18. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Dordrecht
19. A. Higgs Dually residuated commutative monoids with identity element do not form an equational class Math. Japon. 29 1984 69 75
20. U. Höhle Commutative residuated monoids U. Hohle Non-classical Logics and Their Applications to Fuzzy Subsets 1995 Kluwer Academic Publishers Dordrecht 53 106
21. S. Jenei, and F. Montagna A general method for constructing left-continuous t-norms Fuzzy Sets and Systems 136 2003 263 282
22. E.P. Klement Operations on fuzzy sets - an axiomatc approach Information Sciences 27 1982 221 232
23. E.P. Klement, R. Mesiar, and E. Pap Triangular Norms 2000 Kluwer Dordrecht
24. K.C. Lano, Mathematical Framework for Vagueness and Approximate Reasoning, Ph.D. Thesis, Bristol University, 1989.
25. K.C. Lano Fuzzy sets and residuated logic Fuzzy Sets and Systems 47 1992 203 220
26. W. MacCaull Tableau method for residuated logic Fuzzy Sets and Systems 80 1996 327 337
27. P. Magres, and Ph. Smets Fuzzy modus ponens: a new model suitable for applications in knowledge-based systems International Journal of Intelligent Systems 4 1989 181 200
28. N.N. Morsi, E. Abdel-Aziz, and M.S. El-Zekey Propositional calculus for adjointness lattices Mathware and Soft Computing 9 2002 5 23
29. N.N. Morsi Propositional calculus under adjointness Fuzzy Sets and Systems 132 2002 91 106
30. A.B. Paalman de Miranda, Topological semigroups, Math. Centre Tracts 11 Math. Centrum, Amsterdam, 1964.
31. J. Pavelka, On fuzzy logic, Zeitsch. f. Math. Logik, I, II, III: 25 (1979) 45-52, 119-134, 447-464.
32. W. Pedrycz Fuzzy relational equations with generalized connectives and their applications Fuzzy Sets and Systems 10 1983 185 201
33. H. Rasiowa An Algebraic Approach to Non-classical Logics 1974 PWN Warszawa
34. G. Restall An Introduction to Substructural Logics 2000 Routledge London
35. D. Ruan Critical study of fuzzy implication operators and their influence on approximate reasoning E.E. Kerre Introduction to the Basic Principles of Fuzzy Set Theory and Some of Its Applications 1991 University of Gent, Communication and Cognition 214 251
36. B. Schweizer, and A. Sklar Probabilistic Metric Spaces 1983 North-Holland Amsterdam
37. Ph. Smets, and P. Magrez Implication in fuzzy logic International Journal of Approximate Reasoning 1 1987 327 347
38. E. Trillas, L. Valverde, On some functionally expressible implications for fuzzy set theory, in: Proceedings of the Third International Seminar on Fuzzy Set Theory, Linz, Austria, 1981, pp. 173-190.
39. E. Turunen Algebraic structures in fuzzy logic Fuzzy Sets and Systems 52 1992 181 188
40. E. Turunen Mathematics Behind Fuzzy Logic 1999 Physica-Verlag Heidelberg