三值Lukasiewicz逻辑系统L3中命题的条件真度

基于条件概率的思想,在三值Lukasiewicz逻辑系统中引入了条件真度的概念,并讨论了所定义的条件真度的性质及相应的推理规则.     

n值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架.     

三值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.     

(L)ukasiewicz命题集的积分真度、发散度与相容度的分布

研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密.     

连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．     

积分语义学中的积分相似度与伪距离

研究了积分语义学理论的相似度与伪距离 ,对特殊公式In=p1∧p2 ∧…∧pn,Un=p1∨ p2 ∨…∨ pn 的真度值进行了计算 ,给出了F(S)中的积分相似度和F(S)上的伪距离的一些性质 .得到了 :( 1 )在任何一个逻辑系统中τ(In) =1n 1 ,τ(Un) =nn 1 ;( 2 )在Lukasiewicz逻辑系统中 ,对公式A和正数ε ,存在公式B ,使得1 -ε<ξ(A ,B) <1 ;( 3)在Lukasiewicz逻辑系统中 ,(ⅰ )设C为矛盾式 ,则 ρ(A→C ,B→C) =ρ( A , B) ,(ⅱ ) ρ( (A→B)→B ,(C→D)→D) =ρ(A∨B ,C∨D) .     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln，n值G6del逻辑系统Gn，n值乘积逻辑系统Pn，n值标准序列逻辑系统Sn和n值L^＊逻辑系统Wn中的MP滤子的分布情况，并讨论了这些MP滤子与格滤子的关系.     

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

本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

论逻辑设计的逻辑思维方法

介绍了逻辑设计的四种逻辑思维方法：正向逻辑思维方法、逆向逻辑思维方法、双向逻辑思维方法和整体局部逻辑思维方法，并举例予以说明．     

互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

翻译与逻辑

逻辑是关于思维的科学.逻辑关心的是思维的前后连贯,各个环节的相互联系,没有逻辑的思维是杂乱无章的.而思维要凭借语言,因此语言活动与逻辑思维活动是相互依存的.翻译是一项特殊的语言活动,其特殊性在于它两种语言间的交际活动.语言不同本来是无法交际的,但由于人类的思维是相通的,研究思维形式的逻辑也是超越民族语言界限的,所以,使用不同语言的人通过翻译也能够进行交际.运用逻辑有助于我们正确认识客观事物,有助于我们准确地表达对客观事物的正确认识.这恰恰与翻译的两个中心环节--理解与表达--相吻合.     

光逻辑门

用半导体激光器和雪崩光晶体管组合光双稳器件的不同电路形式实现了与、或、非以及与非、或非等逻辑门。特别是利用光可并行输入、输出特性实现了异或逻辑门(光学半加器)。这种光逻辑电路有结构简单、高光增益、响应速度快和便于单片集成等特点,因此,在光计算技     

高性能低功耗逻辑电路—MOS电流模逻辑

本文介绍了一种高速低功耗逻辑电路:MOS电流模逻辑电路(MCML),该电路以其独特的差分结构及恒流源偏置方式,在高频电路及数模混合电路中表现出了低电压低功耗及高抗噪的特性,可作为高频应用中新一代高性能低功耗集成电路芯片。     

纵向注入逻辑

描述一种新的注入逻辑，即纵向注入逻辑，在这种逻辑中，对器件的结构作了特殊的设计以取得高封装密度和低功耗－延时乘积，普通注入逻辑（Ｉ＾２Ｌ）的横向ＰＮＰ注入极被纵向结构所代替。对于在Ｉ＾２Ｌ中影响封装密度和功耗－延时乘积的因素进行了分析，并且给出了这种新结构的设计依据。     

分子逻辑门

分子逻辑门是目前非常活跃的研究领域,有可能解决电子计算机发展的瓶颈问题.本文以单输入分子逻辑门为例对基于分子设计的逻辑门进行了介绍。     

逻辑与审美

逻辑能够造就美。学中就盛开着逻辑美的鲜活花朵。不符合语言逻辑和生活逻辑的，难以称之为学。逻辑推理在学创作中往往是作为美妙的思维程式出现的。逻辑并不意味着枯燥的概念会和乏味的推理，它在整个艺术世界中时时闪耀着美的光彩。