1) n-value Proposition Logic
n值命题逻辑
1.
The Further Study of Formula's Truth Degree under n-value Proposition Logic System
n值命题逻辑系统中公式真度的进一步研究
2) n-valued Lukasiewicz Logic
n值Lukasiewicz命题逻辑
1.
Based on the idea of conditional probability,this paper introduced the conditional truth degree conception of proposition in n-valued Lukasiewicz Logic,then gave out some propositions of conditional truth degree.
利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息下的近似推理理论提供了一种可能的框架。
3) two-valued propositional logic
二值命题逻辑
1.
The Theory of Approximate Reasoning Based on the Premise Information in Two-valued Propositional Logic
二值命题逻辑中基于前提信息的近似推理理论
2.
In this paper,we obtain the truth degree expression of the pseudo-metric in two-valued propositional logic,which is based on the truth degree.
在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础。
3.
From the syntactical point of view,the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画。
4) Classical Propositional Logic
二值命题逻辑
1.
Three Models of Γ Approximate Reasoning and Their Equivalence in Classical Propositional Logic;
二值命题逻辑中的三种Γ近似推理模式及其等价性
2.
Approximate reasoning based on conditional truth degree of formulas in classical propositional logic
二值命题逻辑中基于条件真度的近似推理
5) 3-valued Lukasiewicz logic
三值Lukasiewicz命题逻辑
补充资料:[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式:C16H16ClN3O3S
分子量:365.5
CAS号:26807-65-8
性质:暂无
制备方法:暂无
用途:用于轻、中度原发性高血压。
分子量:365.5
CAS号:26807-65-8
性质:暂无
制备方法:暂无
用途:用于轻、中度原发性高血压。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条