系统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相似文献   

命题公式集F(S)在Godel系统中的一个24类分划

将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.     

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

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

三Ⅰ算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、Godel算子、乘积算子和R0-算子都是正则蕴涵算子-针对这种正则蕴涵算子建立了FMP和FMT的三Ⅰ算法的统一形式,相应地三Ⅰ解可用一般的伴随对((×),R)中的左连续三角模(×)和正则蕴涵算子R统一表达;指出在Godel的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α-三Ⅰ算法的统一形式,得到了关于FMP和FMT而言的α-三Ⅰ算法的对偶性结论.     

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

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

含参量蕴涵算子及其性质

给出一类含参量蕴涵算子，它将常见的三种蕴涵算子Lukasiewicz算子、R0算子及Godel算子包含其中，此外，还讨论了该类蕴涵算子的性质。     

关于形式系统(L)*(强)完备性证明的注记

考察了形式系统L*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于L*系统强完备性证明中的错误并给出了一个全新的修正证明．讨论了单位区间[0，1]上全序R0代数的非运算与强否定的一致性，给出了强否定表示定理的一个等价刻画，并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察，得到了公式集F(S)基于不动点的一类新的分划．     

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

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

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

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

一类带p-Laplacian算子的分数阶微分方程边值问题解的存在性

该文运用Leray-Schauder非线性择抉和Krasnosel’skiis不动点定理，讨论了一类在一致分数阶导数定义下含p-Laplacian算子的分数阶微分方程边值问题■解的存在性．其中，1<α≤2，μ≥0,0<η≤1，φ_p(s)=|s|^p-2s，(φ_p)^-1=φ_q,p>1,p^-1+q^-1=1,T_α是一致分数阶导数，f:[0,1]×R→R是给定的连续函数．     

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

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

几种真值集为非线性序集的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.     

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

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

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

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

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

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

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

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

比评性同语式的篇章分析

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

参数Kleene系统的可靠性定理

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

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

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