Valuationally decided formula question in ukasiewicz propositional logic systems
WANG Guo-jun1,2, LI Li-feng1
(1 Collage of Mathematics Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi, China; 2 Research Center for Science, Xi′an Jiaotong University, Xi′an 710049, Shaanxi, China)
Abstract:
The valuationlly decided formula question (briefly, VDF question) has been proposed and solved in classical 2-valued propositional logic and ukasiewicz 3-valued propositional logic and p+1-valued propositional logic. This paper provides the solution to the VDF problem in more general versions of ukasiewicz propositional logic systems. The reasonable condition of VDF is studied first. Secondly, constructive solutions of the VDF questions in Ln and La are given. Lastly, the VDF problem in Lc of ukasiewicz system is solved.
KeyWords:
fuzzy modus ponens; ukasiewicz propositional logic system; valuationally decided formula question; constructive solution; MV algebra
