true formula

The theories ofα[I]-truth formulas,aecessebleα[/]-truth formula,a~+[/]-truth formula, enumerable interpretation mode {I_m}(α-logics effective formula),accesseble logics effective formula), {I_m}(α~+-logics effective formula)are respectively built on first-order fuzzy language,and their prop- erties and applications in approximation reasoning are discussed.

建立了一阶模糊语言φ的α[I]-真公式,可达α~+[I]-真公式,可数解释模型{I_m}(α-逻辑有效公式),可达{I_m}(α-逻辑有效公式)及{I_m}(α~+-逻辑有效公式)的理论,并讨论了它们的一系列性质及其在近似推理中的应用。

Theory of Truth Degrees of Formulas in Lukasiewicz Propositional Logic and Logic Metric Spaces;

Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间

Problem of MT in Classical Logical System (?) and Theory of Truth Degree of Formulas;

经典逻辑系统（？）中的MT问题及公式的真度理论

Distributing of truth degree with formulas by one atom or two atom based on Gdel system

Gdel中单个或两个原子生成公式的真度分布

Some Notes about PI Proving and Theory of Truth Degrees of Logic Formulas;

关于PI证明的若干注记以及逻辑公式的真度理论

Formulas truth function degree generated based on Π system

Π系统中公式的真值函数及真度分布

Probability Truth Degree of Two Fuzzy Propositional Logic Systems;

两种模糊命题逻辑的公式的概率真度

The Relative Truth Degrees og Predicate Formulas in the Finite Interpretation;

有限解释下一阶谓词公式的相对真度

On Probability Truth Degree of Propositions in Two-valued Logic;

二值命题逻辑中公式的一种概率真度

D-Stochastic Truth Degree of Formulas Based on Standardized Representation in Propositional Logic

基于标准化表示的命题逻辑公式的D-随机真度

Syntactic Truth Degree of Formulas and Constructive Triple-I Algorithm;

逻辑公式的语构真度和构造性三I算法

Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;

一阶模糊谓词逻辑公式的可测集解释真度理论

Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system;

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas;

模糊谓词逻辑公式的有限和可数解释真度理论

The Theory of Probability Truth Degree in Standard Serial Logic System S_3

标准序列逻辑系统S_3中公式的概率真度理论

Study of the conditional probability truth degree of formulas in the Gdel logic system

Gdel逻辑系统中公式条件概率真度的研究

Theory of Syntatic Truth Degree in Two Value Propositional Logic System

二值命题逻辑系统中公式的语构真度理论

The Γ-rand Truth Degree of Fomulas and Approximate Reasoning in Classical Propositional Logic

经典命题逻辑中公式的Γ-随机真度与近似推理

Conditional probability truth degree of formulas in continuous value propositional logic system

连续值命题逻辑系统中公式的条件概率真度