位置：成果数据库 > 会议 > 会议详情页
Many-valued modal logic metric spaces based on frames
  • 所属机构名称：陕西师范大学
  • 会议名称：2012 International Conference on Quantitative Logic and Soft Computing
  • 时间：2012.5
  • 成果类型：会议
  • 相关项目：谓词逻辑与模型检验中的计量化理论
作者： Shi Hui-Xian|Wang Guo-Jun|
同会议论文项目
谓词逻辑与模型检验中的计量化理论
期刊论文 53 会议论文 16 著作 1
同项目会议论文
The semantics theory for muti-valued reasoning about knowledge
An axiomatic method for evaluating goodness of closed predicate propositions containing no function
The classic symmetrical logic metric sub-space
Many-valued modal logic metric spaces based on frames
Many-valued modal logic metric spaces based on frames
Many-valued modal logic metric spaces based on frames
An axiomatic method for evaluating goodness of closed predicate propositions containing no function
Filters in stone BL algebras
Filters in stone BL algebras
Filters in stone BL algebras
Many-valued modal logic metric spaces based on frames
The affine transformation in quantitative logic
The affine transformation in quantitative logic
Filters in Stone BL-algebras
Filters in stone BL algebras