说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 句库 -> 命题逻辑系统L_3~*
1.
Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*
三值命题逻辑系统L_3~**中逻辑理论性态的拓扑刻画
2.
The conditional truth degree of formulas in lukasiewicz 3-valued logic systems L_3
三值Lukasiewicz逻辑系统L_3中命题的条件真度
3.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较
4.
Scheme of Stratification Syntax on Fuzzy Propositional Logic;
L-Fuzzy命题逻辑系统的语构分层方案
5.
Scheme of Stratification Semantic on Fuzzy Propositional Logic;
Fuzzy命题逻辑系统的语义分层方案
6.
Randomization of 3-valued Gdel Propositional Logic System
三值Gdel命题逻辑系统的随机化
7.
A conditional truth degree of formulas in n-valued propositional logic systems
一种n值逻辑系统中命题的条件真度
8.
The Conditional Truth Degree of Formulas in Several 3-Valued Logic Systems
几个三值命题逻辑系统中命题的条件真度
9.
Provable degree of formula on theories in the propositional fuzzy logic system Gd;
命题模糊逻辑系统Gd中公式的理论可证度
10.
Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system;
n值Lukasiewicz命题逻辑系统中公式的绝对真度理论
11.
Σ-generalized contradiction in the limited value disturbing fuzzy propositional logic;
有限扰动模糊命题逻辑系统的Σ-广义矛盾式
12.
Resolution Method of Intuitionistic Operator Fuzzy Logic;
直觉算子模糊命题逻辑系统中的归结方法
13.
Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System;
区间值模糊命题逻辑系统的广义恒真式
14.
Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
15.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
16.
Theory of Syntatic Truth Degree in Two Value Propositional Logic System
二值命题逻辑系统中公式的语构真度理论
17.
Similarity Degree and Pseudo-distance of the Absolute Truth Degree of Formulas in G_n Propositional Logic System
G_n命题逻辑系统中绝对真度的理论研究
18.
Conditional probability truth degree of formulas in continuous value propositional logic system
连续值命题逻辑系统中公式的条件概率真度