In this paper, we consider first-order mathematical fuzzy logic expanded by many hedges. This is based on the fact that, in the real world, many hedges can be used simultaneously, and some hedge modifies truth (or meaning of sentences) more than another hedge. Moreover, each hedge may or may not have a dual one. We expand two axiomatizations for propositional mathematical fuzzy logic with many hedges to the first-order level and prove a number of completeness results for the resulting logics. We also consider logics with many hedges based on -core fuzzy logics.
11. Computer Science & Information Technology (CS & IT) 95
5. CONCLUSION
ACKNOWLEDGEMENTS
Funding from HUMG under grant number T16-02 is acknowledged.
REFERENCES
12. 96 Computer Science & Information Technology (CS & IT)
AUTHOR
Van-Hung Le received a B.Eng. degree in Information Technology from Hanoi
University of Science and Technology (formerly, Hanoi University of Technology) in
1995, an M.Sc. degree in Information Technology from Vietnam National University,
Hanoi in 2001, and a PhD degree in Computer Science from La Trobe University,
Australia in 2010. He is a lecturer in the Faculty of Information Technology at Hanoi
University of Mining and Geology. His research interests include Fuzzy Logic, Logic
Programming, Soft Computing, and Computational Intelligence.