收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

邻域语义学

毛翊  
【摘要】:正模态逻辑自C.I.Lewis形式化地提出五个模态系统以后,W.T.Parry为了区别S1-S5, 证明公理的独立性,运用了模态矩阵这一切实有效的工具。J.C.C.Mckinsey和A.Trarski在研究带算子的布尔代数的基础上,把模态矩阵限制在模态代数的范围内,从而发展出了代数语义学。五十年代末六十年代初,以S.A.Kripke为代表的关系语义学又使逻辑学界耳目一新。那以后产生的邻域语义学人们却知之不多。本文的主要内容就是追随R.Montague,D.Scott, K.Segerberg,D.M.Gabby和M.Gerson等人对邻域语义学(又称Scott-Montague语义学)的提出及发展的思路,讨论这种邻域语义学的思想渊源,明确邻域语义学与已有的代数语义学及关系语义学之间的关系。试图在忠实地总结前人工作的基础上,作出适当的补充,以便邻域语义学也能被逻辑工作者在研究中经常运用,成为其又一有效的研究工具。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 侯维民;三天八卦图与布尔代数[J];周易研究;1998年03期
2 阮芳赋;;第六讲 布尔代数和文氏图在临床思维中的应用[J];医学与哲学(人文社会医学版);1984年08期
3 高恒珊,吕健安;量词模态逻辑的代数语义学(Ⅳ,上)──关于含BARCAN公式的非正规模态系统情形[J];哲学研究;1998年12期
4 苏洪雨;江雪萍;;乔治·布尔:现代信息技术的数学基础奠基者[J];自然辩证法通讯;2008年03期
5 侯维民;伏羲卦图中的布尔代数[J];周易研究;1997年03期
6 李小五;模态系统的推理规则的强弱虚实[J];现代哲学;2004年04期
7 王俊龙;;论太极代数及其辩证内涵[J];湖南师范大学社会科学学报;2009年03期
8 学;你知道吗?[J];电气时代;1998年12期
9 张铁声;;“三卡悖论”与“说谎者”——解读文兰院士的《解一个古老的悖论》[J];重庆工学院学报(社会科学版);2009年05期
10 高恒珊,吕健安;量词模态逻辑的代数语义学_(Ⅳ,下)──关于含Barcan公式的非正规模态系统情形[J];哲学研究;1999年03期
11 霍书全;百年“怪论”的有效消解[J];河南大学学报(社会科学版);2005年03期
12 王俊龙;;人体形态逻辑研究——兼论形式逻辑的辩证内涵[J];河北大学学报(哲学社会科学版);2011年05期
13 张清宇;;模态逻辑近况[J];哲学动态;1990年05期
14 刘宏岚;高庆狮;杨炳儒;;概率命题逻辑是经典命题演算形式系统的随机事件语义[J];小型微型计算机系统;2011年05期
15 张清宇;关于系统Z的一些意见[J];武汉大学学报(人文科学版);1993年05期
16 ;中学开设BASIC语言课[J];物探化探计算技术;1982年Z1期
17 舒太行;评介《BCI代数》[J];西北大学学报(自然科学版);1988年04期
18 高恒珊;量词模态逻辑的代数语义学(Ⅲ)──关于不含Barcan公式的正规模态系统的情形[J];数学学报;1995年04期
19 袁作兴;;易卦结构的数学特点[J];长沙理工大学学报(社会科学版);1991年03期
20 魏燕侠;;正规模态逻辑完全性理论研究综述[J];华北水利水电学院学报(社科版);2007年05期
中国重要会议论文全文数据库 前10条
1 毛翊;;邻域语义学[A];1994年逻辑研究专辑[C];1994年
2 孙德山;陈图云;郑宏亮;;不精确推理与归结原理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
4 钟业勋;;地图图像系统为布尔代数系的证明[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
5 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
6 钟业勋;魏文展;;地图符号系统为布尔代数系的证明及其对机助地图制图的意义[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
7 卢建宁;赵光宙;;布尔离散事件系统的监控理论[A];第二十四届中国控制会议论文集(下册)[C];2005年
8 李娜;;严格蕴涵系统S_3的协调性[A];逻辑与认知学术研讨会会议论文集[C];2004年
9 李娜;;模型~R△~(β)的一些性质[A];1997年逻辑研究专辑[C];1997年
10 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年
中国博士学位论文全文数据库 前10条
1 余延生;航天器贮箱液体非线性晃动动力学的多维模态分析方法[D];哈尔滨工业大学;2007年
2 陈益智;半环上矩阵的若干研究[D];西北大学;2012年
3 虞志坚;量子逻辑的代数结构与运算连续性[D];浙江大学;2006年
4 雷强;量子逻辑的内蕴拓扑[D];哈尔滨工业大学;2008年
5 罗来珍;量子逻辑中的收敛理论[D];哈尔滨工业大学;2009年
6 秦晋;面向功能的创新概念设计问题研究[D];合肥工业大学;2007年
7 刘观生;数字理论的表格方法研究[D];浙江大学;2007年
8 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年
9 蒙祖强;基于分类模型的知识发现机理和方法研究[D];中南大学;2004年
10 柴凤娟;布尔多项式组的特征列方法及其在流密码分析中的应用[D];中国科学院研究生院(数学与系统科学研究院);2008年
中国硕士学位论文全文数据库 前10条
1 高平安;布尔代数和布尔代数上的自动机[D];湘潭大学;2003年
2 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
3 李艳春;多值逻辑函数组的置换[D];湘潭大学;2006年
4 孙中品;布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现[D];青岛科技大学;2007年
5 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年
6 陈钉均;覆盖粗糙集研究[D];西南交通大学;2007年
7 梁洪力;基于两种新算子的粗糙集理论研究及其应用[D];东北大学;2005年
8 华巍;无线网格网的网关选址问题研究[D];复旦大学;2009年
9 丰建文;可补半环与内射半模[D];江西师范大学;2006年
10 张磊;关于Vague集的若干性质研究[D];西北大学;2010年
中国重要报纸全文数据库 前6条
1 魏少军;超深亚微米集成电路设计[N];中国电子报;2002年
2 张景中;《数学悖论与三次数学危机》序[N];中华读书报;2007年
3 广东省广州市西秀区市委会办公室 吕永华;要实现管理和技术“双轮驱动”[N];中国安全生产报;2007年
4 蒋熠奇;地图理论有创新[N];中国测绘报;2006年
5 本报记者 武汉;把人才蛋糕做大[N];网络世界;2001年
6 本报记者 李大庆;“华罗庚,他是真正的数学大师”[N];科技日报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978