一元模糊谓词逻辑mMTL∀的等价代数语义研究

12001423
2020
A0602.信息技术与不确定性的数学理论与方法
王军涛
青年科学基金项目
副教授
西安石油大学
24万元
一元模糊谓词逻辑;MTL-代数;一元MTL-代数;模糊逻辑;逻辑代数
2021-01-01到2023-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 An algebraic proof of completeness for monadic fuzzy predicate logic mMTL∀ 期刊论文 Juntao Wang;Hongwei Wu;Pengfei He;Yanhong She
2 State monadic residuated lattices and their corresponding filters 期刊论文 Juntao Wang;Mengna Kang;Xuesong Fu;Fei Li
3 Some results on derivations of MV-algebras 期刊论文 Juntao Wang;Pengfei He;Yanhong She
4 Solutions to two open problems in topological residuated lattices 期刊论文 Pengfei He;Jiang Yang;Juntao Wang
5 相似剩余格及其对应逻辑系统的完备性 期刊论文 王军涛
6 逻辑系统MTL中任意量词的代数研究 期刊论文 王军涛;王梅
7 On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices 期刊论文 Juntao Wang;Yanhong She;Pengfei He;Nana Ma
8 An algebraic study of the logic S5’(BL) 期刊论文 Juntao Wang;Xiaoli He;Mei Wang
9 Monadic algebras of an involutive monoidal t-norm based logic 期刊论文 Juntao Wang;Xiaolong Xin
10 The existence of states based on Glivenko semihoops 期刊论文 Pengfei He;Juntao Wang;Jiang Yang
11 MTL-代数上的广义赋值 期刊论文 王军涛;贺鹏飞
12 一元子结构谓词逻辑中相似的代数语义 期刊论文 王军涛;王梅;折延宏
13 Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic 期刊论文 Juntao Wang;Pengfei He;Jiang Yang;Mei Wang;Xiaoli He
14 Generalized valuations on MTL-algebras 期刊论文 Juntao Wang;Pengfei He
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享