發(fā)布時間：2017-07-15 22:27

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

  更多相關(guān)文章： 模態(tài)邏輯 終結(jié)共代數(shù) 互模擬 代數(shù)邏輯 函子 轉(zhuǎn)換系統(tǒng) 克里普克結(jié)構(gòu) 理論計算機(jī)科學(xué) 代數(shù)方法 邏輯系統(tǒng)

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 史t，

本文編號：546067