模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2010年
2期
1-6
,共6页
语言真值蕴涵代数%对偶分子%推理性质%闭性
語言真值蘊涵代數%對偶分子%推理性質%閉性
어언진치온함대수%대우분자%추이성질%폐성
众所周知,代数结构已成功应用于经典与非经典逻辑中.沿袭这种思想,徐扬教授为语言真值格值命题逻辑的代数语义解释找到了一个语言真值格蕴涵代数(L-LIA)的方法.本文进一步研究L-LIA中对偶分子的推理性质,证明了对偶分子在一定程度上对算子∨、∧、→具有闭性,得到了一些有趣的新结果,特别是给出了它的一些推理性质,并验证了在(L)v(9×2)中的相应结果,进而对蕴涵进行了拓展,得到了预线性性的逻辑推理性质,并证明了此推理性质的正确性.
衆所週知,代數結構已成功應用于經典與非經典邏輯中.沿襲這種思想,徐颺教授為語言真值格值命題邏輯的代數語義解釋找到瞭一箇語言真值格蘊涵代數(L-LIA)的方法.本文進一步研究L-LIA中對偶分子的推理性質,證明瞭對偶分子在一定程度上對算子∨、∧、→具有閉性,得到瞭一些有趣的新結果,特彆是給齣瞭它的一些推理性質,併驗證瞭在(L)v(9×2)中的相應結果,進而對蘊涵進行瞭拓展,得到瞭預線性性的邏輯推理性質,併證明瞭此推理性質的正確性.
음소주지,대수결구이성공응용우경전여비경전라집중.연습저충사상,서양교수위어언진치격치명제라집적대수어의해석조도료일개어언진치격온함대수(L-LIA)적방법.본문진일보연구L-LIA중대우분자적추이성질,증명료대우분자재일정정도상대산자∨、∧、→구유폐성,득도료일사유취적신결과,특별시급출료타적일사추이성질,병험증료재(L)v(9×2)중적상응결과,진이대온함진행료탁전,득도료예선성성적라집추이성질,병증명료차추이성질적정학성.
