基于有限格蘊(yùn)涵代數(shù)的格值命題邏輯語(yǔ)義系統(tǒng)

以有限格蘊(yùn)涵代數(shù)作為邏輯系統(tǒng)的真值域,在其上建立了基于有限格蘊(yùn)涵代數(shù)的格值命題邏輯語(yǔ)義系統(tǒng).研究了在A(yíng)水平上系統(tǒng)的賦值和公式的可滿(mǎn)足性等基本定義,證明了系統(tǒng)"有效性"的可判定性并給出了判定算法.

作 者： 馬駿 秦克云 徐揚(yáng)   作者單位： 西南交通大學(xué)應(yīng)用數(shù)學(xué)系,四川,成都,610031  刊 名： 西南交通大學(xué)學(xué)報(bào)  ISTIC EI PKU 英文刊名： JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY  年，卷(期)： 2002 37(5)  分類(lèi)號(hào)： O141.1  關(guān)鍵詞： 多值邏輯   邏輯代數(shù)   格蘊(yùn)涵代數(shù)  

【基于有限格蘊(yùn)涵代數(shù)的格值命題邏輯語(yǔ)義系統(tǒng)】相關(guān)文章：

有限單純格蘊(yùn)涵代數(shù)04-26

格蘊(yùn)涵代數(shù)的拓?fù)浣Y(jié)構(gòu)04-27

格值正則語(yǔ)言的代數(shù)性質(zhì)04-28

格蘊(yùn)涵代數(shù)中的直覺(jué)模糊關(guān)聯(lián)濾子04-29

Z-代數(shù)格和Z-代數(shù)交結(jié)構(gòu)04-26

基于完全剩余格值邏輯上的不分明化環(huán)04-28

二值命題邏輯中有限理論的α-結(jié)論04-26

N-半單代數(shù)中的剩余格結(jié)構(gòu)04-29

弗雷格的語(yǔ)義學(xué)及其本質(zhì)特征04-29

分形插值與拉格朗日插值的比較研究04-26