On Truth Degree Theory In Axiomatic Extension System Of G?del N-valued Propositional Logic

By adding new conjunction?in G?del n-valued propositional logic system,conditional truth degree is defined,and some basic properties of conditional truth degree are discussed.At the same time,the metric space is established based on it.Subsequently,by adding new operator ? in G?del n-valued propositional logic system,average truth degree is given,and some important properties of average truth degree are discussed.Also,the definition and related properties of the deviation are obttained.Then,with the definition of induction function,the definition,inference rules and properties of k absolute truth degree of the formula are first given in G_^,?.Secondly,the k absolute similarity degree and k absolute pseudo distance of the formula are defined,and some good properties of the two are discussed.Finally,the approximate inference theory of k absolute truth is given,meanwhile,the proof is given(k is or ?;G_^,?is n-value propositional logic system of increasing connectives and ?).Finally,by means of the method of randomization of assignment set,we define the ?-t randomized truth degree of the formula relative to the local finite theory ? in G_^,?,and discuss the inference rules and some important properties of ?-t randomized truth degree.