關鍵詞:范疇論 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個為限)。
注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社