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

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

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

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

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

格蘊涵代數(shù)的拓撲結(jié)構(gòu)04-27

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

格蘊涵代數(shù)中的直覺模糊關聯(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

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

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