基于有限格蘊涵代數的格值命題邏輯語義系統

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

作 者： 馬駿 秦克云 徐揚   作者單位： 西南交通大學應用數學系,四川,成都,610031  刊 名： 西南交通大學學報  ISTIC EI PKU 英文刊名： JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY  年，卷(期)： 2002 37(5)  分類號： O141.1  關鍵詞： 多值邏輯   邏輯代數   格蘊涵代數  

【基于有限格蘊涵代數的格值命題邏輯語義系統】相關文章：

有限單純格蘊涵代數04-26

格蘊涵代數的拓撲結構04-27

格值正則語言的代數性質04-28

格蘊涵代數中的直覺模糊關聯濾子04-29

Z-代數格和Z-代數交結構04-26

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

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

N-半單代數中的剩余格結構04-29

弗雷格的語義學及其本質特征04-29

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