无变元的一阶片段:Fluted逻辑

发布时间：2018-05-31 14:18

  本文选题：一阶逻辑 + 自然语言　； 参考：《哲学动态》2009年04期

[Abstract]:......
【作者单位】： 中国社会科学院哲学研究所;
【基金】：国家社会科学基金项目“一阶逻辑片段研究(08CZX021)”的资助
【分类号】：B812

【共引文献】

相关期刊论文 前1条

1 夏素敏;;Fluted逻辑与自然语言[J];哲学动态;2011年02期

【相似文献】

相关期刊论文 前10条

1 马明辉;;走向模型论的模态逻辑[J];逻辑学研究;2009年01期

2 刘奋荣;;概念分析的奠基与发展[J];自然辩证法研究;2011年04期

3 夏素敏;;Fluted逻辑与自然语言[J];哲学动态;2011年02期

4 诸葛殷同;;“多数”和“少数”[J];思维与智慧;1993年01期

5 郝一江;张晓君;;动态逻辑:关于程序的模态逻辑[J];哲学动态;2009年11期

6 尹树广;传统逻辑符号与一阶逻辑演算基本符号的差别[J];求是学刊;1992年03期

7 张力锋;模态逻辑的哲学归宿[J];四川大学学报(哲学社会科学版);2004年02期

8 宋文坚;北京大学哲学系逻辑必修课的改革[J];哲学动态;1986年07期

9 王健平;;实质蕴涵与自然语言中的相关蕴涵命题分析[J];华南师范大学学报(社会科学版);2005年03期

10 莫日根巴图;;传统逻辑与现代逻辑量词比较[J];内蒙古民族大学学报(社会科学版);2006年04期

相关会议论文 前10条

1 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年

2 刘壮虎;;几类性质词的逻辑特征[A];第二届中国南北哲学论坛暨“哲学的当代意义”学术研讨会论文集[C];2005年

3 王柏鹤;;普通逻辑教学亟待加强自然语言的逻辑分析[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

4 甘灿;孙星明;刘玉玲;向凌云;;一种改进的基于同义词替换的中文文本信息隐藏方法[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年

5 周劲松;;空间搜索引擎与城乡规划管理[A];城市规划和科学发展——2009中国城市规划年会论文集[C];2009年

6 陈魁;荣莉莉;;标准元搜索引擎——概念及其模型[A];管理科学与系统科学研究新进展——第7届全国青年管理科学与系统科学学术会议论文集[C];2003年

7 赵希顺;秦克云;庞善起;王雪生;;具有时态词的Fuzzy推理[A];模糊数学和系统成果会论文集[C];1991年

8 温雪茹;翟国平;李银罗;;将情报语言与自然语言一体化检索应用于地质资料检索系统[A];中国图书馆学会专业图书馆分会2009年学术年会论文集[C];2009年

9 徐阳春;;从汉语特点看中国古代逻辑[A];1995年逻辑研究专辑[C];1995年

10 邹崇理;;信息时代的自然语言逻辑研究特色[A];2000年逻辑研究专辑[C];2000年

相关重要报纸文章 前10条

1 西文;互联网进入自然语言时代[N];中国经营报;2001年

2 吴超;从ＩＰ到ＤＮＳ到自然语言[N];大众科技报;2003年

3 吴超;从IP到DNS到自然语言网络地址资源凸现本地化特色[N];中国企业报;2003年

4 L＆H公司高级副总裁及亚太区总裁 胡国辉博士;自然语言技术支持新一代语音上网[N];中国计算机报;2000年

5 本报记者 操秀英;搜索引擎市场风云再起[N];科技日报;2007年

6 李文;自然语言搜索：Google、百度终结者？[N];中国民航报;2007年

7 王迎庆;爱情对于自然语言的超越[N];中国电影报;2005年

8 吴超;网络地址资源凸现本地化特色[N];中国消费者报;2003年

9 许涤非 中国人民大学哲学院;数学的直谓基础[N];中国社会科学报;2009年

10 吴超;网络地址资源凸现本地化特色[N];中国旅游报;2003年

相关博士学位论文 前10条

1 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

2 张立娜;个体词的逻辑语义[D];清华大学;2007年

3 单黎君;图形化模型的一致性检查[D];国防科学技术大学;2008年

4 胡志刚;基于协同的并行设计环境理论与方法研究[D];中南大学;2002年

5 孙舒杨;统计关系学习的若干问题研究[D];吉林大学;2006年

6 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

7 孙扬;多变元网络数据可视化方法研究[D];国防科学技术大学;2010年

8 胡峻;量子Schubert函子以及量子线性群的上同调[D];华东师范大学;2000年

9 江涛;特定领域元建模语言的形式化及其模型一致性验证研究[D];云南大学;2010年

10 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

相关硕士学位论文 前10条

1 李海波;语言游戏论与自然语言量化结构[D];中国海洋大学;2004年

2 熊况;是革命还是夸大？[D];复旦大学;2008年

3 顾恒;一阶逻辑的一种全面扩张：语形和语义[D];西南大学;2013年

4 黄艳;面向数字化产品的自然语言查询技术的研究与开发[D];浙江大学;2002年

5 刘静;基于二叉树和自然语言的昆虫查询鉴定系统研究[D];昆明理工大学;2006年

6 顾锋强;蒙太格语法研究述评[D];西南大学;2006年

7 饶萍;情境语义学的逻辑应用研究[D];河南大学;2009年

8 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年

9 胡泽;格赖斯的会话含义理论研究[D];华南师范大学;2005年

10 张岚;初中生数学学习中自然语言与符号语言的相关性及转化策略[D];陕西师范大学;2008年

，

本文编号：1960043