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