本文關鍵詞：共代數(shù)模態(tài)邏輯研究述評

  更多相關文章： 模態(tài)邏輯 終結共代數(shù) 互模擬 代數(shù)邏輯 函子 轉換系統(tǒng) 克里普克結構 理論計算機科學 代數(shù)方法 邏輯系統(tǒng)

【摘要】：正共代數(shù)(coalgebra,數(shù)學中常譯為余代數(shù))是代數(shù)的對偶概念。數(shù)學、邏輯學和理論計算機科學中的許多結構都能夠很自然地看做共代數(shù)。奧采爾(P.Aczel)在1988年給出的第一個例子將轉換系統(tǒng)和
【作者單位】： 南開大學哲學院;
【關鍵詞】： 模態(tài)邏輯 終結共代數(shù) 互模擬 代數(shù)邏輯 函子 轉換系統(tǒng) 克里普克結構 理論計算機科學 代數(shù)方法 邏輯系統(tǒng)
【基金】：國家社科基金項目(08BZX049)
【分類號】：B815.1
【正文快照】： 共代數(shù)(coalgebra,數(shù)學中常譯為余代數(shù))是代數(shù)的對偶概念。數(shù)學、邏輯學和理論計算機科學中的許多結構都能夠很自然地看做共代數(shù)。奧采爾(P.Aczel)在1988年給出的第一個例子將轉換系統(tǒng)和非良基集(non-well-founded sets)模型稱為共代數(shù)。在此基礎上,1996年,巴威斯(J.Barwise)

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 姚從軍;;互模擬的含義、特征及主要應用[J];重慶理工大學學報(社會科學);2010年02期

2 宋偉;;《模態(tài)邏輯指南》中的若干錯誤[J];畢節(jié)學院學報;2010年03期

3 姚從軍;;走進模態(tài)邏輯的互模擬[J];科學技術哲學研究;2010年03期

4 董英東;;模態(tài)邏輯發(fā)展歷史概述[J];燕山大學學報(哲學社會科學版);2010年02期

5 朱建平;;布爾和賽格貝格論模態(tài)邏輯的三大傳統(tǒng)[J];山東理工大學學報(社會科學版);2010年04期

6 李娜;姚從軍;;互模擬理論的邏輯研究述評[J];哲學動態(tài);2010年04期

7 劉華麗;;模態(tài)邏輯中公式的模態(tài)真度[J];計算機工程與應用;2010年31期

8 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的語義之比較[J];湖南科技學院學報;2009年02期

9 唐芳芳;;基于破壞性表列的模態(tài)公理系統(tǒng)[J];湖南科技大學學報(社會科學版);2009年01期

10 裘江杰;;基礎認知詞模態(tài)邏輯[J];湖南科技大學學報(社會科學版);2009年04期

中國重要會議論文全文數(shù)據(jù)庫 前8條

1 徐長征;王清賢;顏學雄;;基于歷史時序的訪問控制模型研究[A];計算機研究新進展（2010）——河南省計算機學會2010年學術年會論文集[C];2010年

2 楚白;;有窮深度的模態(tài)邏輯[A];2005年邏輯研究專輯[C];2005年

3 高思存;;一個刻畫n叉有限樹的模態(tài)系統(tǒng)及其應用[A];2005年邏輯研究專輯[C];2005年

4 潘天群;;建立在“笛卡爾公理”上的一個懷疑邏輯系統(tǒng)[A];邏輯與認知學術研討會會議論文集[C];2004年

5 李文江;陳圖云;;基于模糊測度的模態(tài)邏輯[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

6 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專輯[C];1994年

7 陳國勛;閆家杰;;Fuzzy模態(tài)公式的歸約[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

8 馬躍峰;;一種形式化的面向對象數(shù)據(jù)庫方法[A];第九屆全國數(shù)據(jù)庫學術會議論文集(上)[C];1990年

中國重要報紙全文數(shù)據(jù)庫 前2條

1 陳岸瑛;文字和數(shù)字創(chuàng)造的世界[N];中華讀書報;2003年

2 陳慕澤;多主體系統(tǒng)中的互知[N];光明日報;2000年

中國博士學位論文全文數(shù)據(jù)庫 前10條

1 呂帥;基于自動推理技術的智能規(guī)劃方法研究[D];吉林大學;2010年

2 徐悅竹;機會發(fā)現(xiàn)算法及其應用研究[D];哈爾濱工程大學;2010年

3 史t，

本文編號：546067