关键词:范畴论 topos 模糊集 选择公理
摘要:Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1′和WAC2′,并证明其等价性,最后给出了弱topos中的广义选择公理GWAC1′和GWAC2′的表达形式.
模糊系统与数学杂志要求:
{1}文章的格式:题目,作者姓名,工作单位,地址(××省××市××县),邮编,摘要,关键词,正文,注释,参考文献,作者简介。
{2}为提升学术品格及贯彻学术标准,公正、严谨地对待每一篇来稿,本刊实行三审终审制。对于重要的或有争议的稿件,编辑委员会将在与编辑部之外的专门研究人员协商讨论后,最终决定是否录用,但只以文章质量为依据。
{3}来稿子标题的层级序号。标题层次不宜太多,建议文内标题层次为四级:一、(一)、1.、(1)。
{4}参考文献以著者姓氏的拼音为序,均另起一行排列。本刊参考文献一律按照《中华人民共和国国家标准——信息与文献参考文献著录规则》(GB/T7714-2015)处理。
{5}来稿请附中、英文摘要(各以300字为限)及中、英文关键词(以5个为限)。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社