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

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

系统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)中．     

Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。     

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

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

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

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

Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列ＡＫ（Ｋ＝１，２，．．．）从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝β〈α，β∈（Ｌ）β－Ｔ（Ｌ）。     

模糊模态逻辑系统M■uk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。     

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

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

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

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

Gainse-Rescher逻辑系统中子代数的广义矛盾式

本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。     

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

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

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子,讨论了区间值模糊命题逻辑广义拟重言式的分类,获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

模糊模态逻辑系统M?uk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M?uk,然后 将其赋值格离散化研究了多值模态逻辑系统M?n;证明了在M?n中,对任一可能的赋值α 都存在可达α 重言式;在M?uk中对任一有理数α∈［0,1］都存在可达α重言式;指出了在R₀系统中起关键作用的升级算法对M?n系统已不再适用,并分析了其原因。     

系统Ha中广义语义MP规则与广义语义HS规则

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0相似文献   

修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。     

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

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

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分类．     

有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。