Theory of Reliable Truth Degree in ヒukasiewicz 3-valued Logic System
Guan Xiao
Abstract
Guan Xiao
Abstract
Based on the infinite product of evenly distributed probability space,this paper introduced the theory of reliable truth degree in ヒukasiewicz 3-valued propositional logic system.It is proved that the set of reliable truth degree of all formulas has no isolated point in [0,1].The conceptions of reliable similarity degree and pseudo-metric on two formulas are defined by means of the concept of reliable truth degree of propositions.Moreover,the reliable logic metric space is built.It is proved that this space has no isolated point.Then it can provide a possible framework for approximate reasoning theory.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Based on the infinite product of evenly distributed probability space,this paper introduced the theory of reliable truth degree in ヒukasiewicz 3-valued propositional logic system.It is proved that the set of reliable truth degree of all formulas has no isolated point in [0,1].The conceptions of reliable similarity degree and pseudo-metric on two formulas are defined by means of the concept of reliable truth degree of propositions.Moreover,the reliable logic metric space is built.It is proved that this space has no isolated point.Then it can provide a possible framework for approximate reasoning theory.
Key concepts: Truth function, Propositional calculus, Degree (music), Truth value, Mathematics, Metric space, Metric (unit), Point (geometry)