-
题名一元子结构谓词逻辑中相似的代数语义
- 1
-
-
作者
王军涛
王梅
折延宏
-
机构
西安石油大学理学院
陕西科技大学电气与控制工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2023年第4期956-964,共9页
-
基金
国家自然科学基金(No.12001423,No.61976244,No.12171294)
陕西省自然科学基础研究计划(No.2020JQ-762,No.2021JQ-580)
陕西省教育厅自然科学研究专项计划(No.20JK0626)。
-
文摘
借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题.
-
关键词
一元子结构谓词逻辑
相似一元剩余格
相似滤子
完备性
半线性扩张
-
Keywords
monadic substructural predicate logic
similarity monadic residuated lattice
similarity filter
complete-ness
semilinear extension
-
分类号
O155
[理学—基础数学]
-
