文档名：一元子结构谓词逻辑中相似的代数语义
摘要：借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题.
作者：王军涛 王梅 折延宏 Author：WANGJun-tao WANGMei SHEYan-hong
作者单位：西安石油大学理学院,陕西西安710065陕西科技大学电气与控制工程学院,陕西西安710021
刊名：电子学报 ISTICEIPKU
Journal：ActaElectronicaSinica
年，卷(期)：2023, 51(4)
分类号：O155
关键词：一元子结构谓词逻辑 相似一元剩余格 相似滤子 完备性 半线性扩张
机标分类号：O159TP391TP18
在线出版日期：2023年7月6日
基金项目：国家自然科学基金，国家自然科学基金，国家自然科学基金，陕西省自然科学基础研究计划项目，陕西省自然科学基础研究计划项目，陕西省教育厅自然科学研究专项计划一元子结构谓词逻辑中相似的代数语义[
期刊论文] 电子学报--2023, 51(4)王军涛 王梅 折延宏借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
一元子结构谓词逻辑中相似的代数语义 Algebraic Semantics of Similarity in Monadic Substructural Predicate Logics
一元子结构谓词逻辑中相似的代数语义.pdf
- 文件大小:
- 1.6 MB
- 下载次数:
- 60
-
高速下载
|
|
