形式系统L~*(n)的完备性

模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn

格值一阶逻辑系统LF(X)中的广义量词

给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。

基于L＊-格值逻辑上的BCH-代数中的直觉不分明化理想

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质。

基于L*-格值逻辑上的直觉不分明化凸集

本文在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化凸集的概念,将用集论所刻画的凸集在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化凸集的有关代数性质。

基于L*-格值逻辑上的直觉不分明化群

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化群的概念,将用集论所刻画的群的概念及相关性质在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化群的有关性质。

Lukasiewicz逻辑值上下文无关语言的代数刻画

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。

经典二值逻辑系统L中的MT问题

引入了最大前提的概念,研究了二值逻辑系统L中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化。

基于L^＊-格值逻辑上的直觉不分明化环

首先在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,给出了L*-格值逻辑上的直觉不分明化环和子环的概念。进一步,在L*-格值谓词演算下,给出了环的同态映射f关于直觉模糊集A的直觉不分明化同态核和直觉不分明化商集的定义,并在此基础上讨论了直觉不分明化环、子环和同态核的有关性质,最后得到L*-格值逻辑意义下的同态基本定理。

L—不分明化环

运用应明生教授提出的完全剩余格L值逻辑语义的方法引入了L—不分明化环的概念,然后讨论了L—环的若干性质.

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统L_n

讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L_3和n值逻辑系统L_n(n>3),首先给出了L_3的真值表,它是C_2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L_3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及L_3的准重言式与C_2的重言式之间的关系。最后考虑了L_n中的子代数及不同逻辑系统L_n中重言式的比较。

n元三值函数可由L3^＊中公式导出的充要条件

三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算■,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨,■,→的特点,构造性地证明了对于给定的n元三值函数f∶0,1/2,1n→0,1/2,1,当且仅当f满足一定条件时,f均可由L3*中的公式导出.

基于L^(*)-格值逻辑上的直觉I-fuzzy凸集

基于L^(*)-格值逻辑语义,给出了该语义框架下的直觉I-fuzzy凸集的定义,推广了L;-格值逻辑上的直觉不分明化凸集的结果,研究了直觉I-fuzzy凸集的代数性质。

直觉Fuzzifying拓扑空间的闭包算子

利用L*-格值上的Lukasiewicz蕴含算子,讨论直觉Fuzzifying拓扑空间的闭包算子。首先给出了直觉Fuzzifying拓扑空间中闭包度的概念及其相关性质,其次定义直觉Fuzzifying拓扑空间的闭包算子,最后证明了拓扑的直觉Fuzzifying闭包算子Icl等价于从直觉Fuzzifying闭包算子Icl出发得到一个直觉Fuzzifying拓扑Iτ定义的闭包算子Icl。

中介谓词逻辑系统的λ-归结

给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.

基于完全剩余格值上的模糊化环与理想

给出基于完全剩余格值逻辑上的不分明化环和理想(格上不分明化环和理想)两个概念,并进一步研究它们的一些基本代数性质;主要得到格上不分明化理想的交、和、积和商仍是格上不分明化理想。

直觉I-Fuzzy拓扑空间中的内部算子

目的讨论直觉I-Fuzzy拓扑空间中的内部算子。方法 L*-格值上的不等式方法。结果与结论首先得到直觉I-Fuzzy拓扑空间中内部算子的概念,接着给出结论:从拓扑的直觉I-Fuzzy内部算子I出发,得到一个直觉I-Fuzzy拓扑τI,再利用τI定义的内部算子恰好回到I。

直觉I-fuzzy拓扑空间中,T_3,T_4分离公理

目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与T_1,T_2分离性的关系。

L＊逻辑系统中的函数决定公式问题

给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。