位置:成果数据库 > 期刊 > 期刊详情页
n值逻辑系统L_n~*中广义重言式的计量化研究
  • ISSN号:1672-4291
  • 期刊名称:《陕西师范大学学报:自然科学版》
  • 时间:0
  • 分类:O141.1[理学—数学;理学—基础数学]
  • 作者机构:[1]陕西师范大学数学与信息科学学院 上海市高可信计算重点实验室 华东师范大学
  • 相关基金:国家自然科学基金资助项目(10771129)
中文摘要:

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.

英文摘要:

By means of the infinite product of evenly distributed probability spaces,the proportion of the class of valuation which satisfies v(A)≥ζ(or v(A)>ζ,where ζ∈) in the set of all valuations is considered and the concepts of ζ-truth degree and ζ+-truth degree in n-valued R0-propositional logic system Ln  are introduced in order to double-grade the concept of tautology.Also,the theories of σ-(ζ-tautology) and σ-(ζ+-tautology) are defined.Moreover,relationships between ζ-truth degree(ζ+-truth degree) and gene...

同期刊论文项目
同项目期刊论文
期刊信息
  • 《陕西师范大学学报:自然科学版》
  • 北大核心期刊(2011版)
  • 主管单位:中华人民共和国教育部
  • 主办单位:陕西师范大学
  • 主编:屈世显
  • 地址:陕西省西安市长安区西长安街620号
  • 邮编:710119
  • 邮箱:cqj759@163.com
  • 电话:029-81530879
  • 国际标准刊号:ISSN:1672-4291
  • 国内统一刊号:ISSN:61-1071/N
  • 邮发代号:52-109
  • 获奖情况:
  • 获得奖励20多次,其中部委级3次、厅局级20次、国...,受到教育部(国家教委)、新闻出版总署、教育部科...,多次被评为全国高校和陕西省优秀科技期刊、陕西省...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:8230