多值逻辑系统中的子代数与广义重言式

研究了五个重要的多值逻辑系统Ｌｎ,Ｋｎ,Ｓｎ,Ｇｎ和Ｗｎ,讨论了这些系统子代数的特征及计数问题,以及这些系统的广义重言式理论,给出了这些系统子代数的特征性质与计数公式,证明了Ｌｎ,Ｓｎ,Ｇｎ中可达α－重言式类类不空,并探明了它们与经典逻辑系统重言式的关系。     

n值标准序列逻辑系统S_n的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.     

n值逻辑系统S_n的子代数及其重言式理论

讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件；并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。     

n值标准序列逻辑系统Sn的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件，并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件．     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

逻辑系统的重言式理论

引入了五值逻辑系统,在该系统中,建立了相应的重言式理论、准重言式理论,得到一些结论.     

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

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

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

n值逻辑系统L*n中广义重言式的计量化研究

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.     

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

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

系统Hα中的广义重言式理论

给出了一类带参数的[0，1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1)，进而建立了多值系统Hα．当α＝1时，Hα就是R0型蕴涵算子；α＝0时，Hα是Godel蕴涵算子，所以R0算子与Godel算子在Hα系统中统一起来．在Hα系统中引入了带参数的非运算フα，研究了多值系统H1/2＝(フ1/2，V，→1/2)，以H1/2为赋值域建立了F(S)中重言式的分类定理，并将广义重言式分类定理推广到系统Hα(O＜α＜1)中．     

几种真值集为非线性序集的4值逻辑系统

介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 .     

Tautology and its Prototype Account

Tautology a type of interesting language phenomenon existing in many languages.It has its particular characteristics of syntax and semantics.In recent years,it has aroused great attention both home and abroad.This paper first reviews the syntactic and semantic approaches to the study of it and then analyzes tautological utterances from the aspect of cognition in the theory of prototype.Based on the prototypical construction"X is X",it comes to the conclusion that the interpretation of tautology can be attributed to the cognitive process in which an entity is categorized by people.     

英汉"同语式"的语用修辞意义

“同语式”是英汉语言中的一种特殊反复形式——主语和表语同语反复。表语是对主语的一种隐含的、带有明显主观色彩的说明和解释。形似简单的“同语式”结构具有丰富的语用内涵和重要的修辞意义。相对而言，英语“同语式”的构成受到语法因素的制约，结构单一，表现力不及汉语。     

经典公理系统在模糊命题演算中的不和谐性

本从包含度的角度出发，通过讨论经典公理系统在模糊框架下的不良表现，证明了对任意模糊命题逻辑系统而言，都不能指望保留经典命题逻辑系统中的全部定理，而必须有所放弃。进一步给出了在模糊系统中保留Ｌ１）和Ｌ２）或Ｌ１）和Ｌ３）的充分必要条件以及保留Ｌ２）和Ｌ３）的必要条件。     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

比评性同语式的篇章分析

从篇章的角度来观察汉语同语式的特点,主要分析了同语式在篇章中的语境限制及与前后话语之间的语义联系。初步观察到比评性同语式在篇章中可以单用,也可以几个结构连用;可以独立成句,也可以作分句,还可以作句子成分。语义上,该结构或作始发句提出话题,或作后续句对前文进行评议性总结,或者承前启后即总结上文,同时提出供进一步解释的观点。     

参数Kleene系统的可靠性定理

介绍了参数Kleene系统和参数Kleene系统的三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.