期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于语言真值格值命题逻辑系统l_(νpl)的推理规则
被引量：
8
1
作者
赖家俊
徐扬
《计算机科学》
CSCD
北大核心
2008年第9期230-232,共3页
一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。
关键词
语言
真值蕴涵
代数
语言
真值
命题逻辑
推理规则
闭性
在线阅读
下载PDF
职称材料
真值表方法的功能
2
作者
戴月仙
《上海师范大学学报（哲学社会科学版）》
1990年第1期146-150,共5页
早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯...
早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定这类推理有效性的强有力的工具。考虑到真值表方法正在被愈来愈多的逻辑工作者重视,大部分新出版的普通逻辑教材已经移用了一部分真值表方法的材料,所以对真值表方法及其功能作进一步探讨、研究似很必要。
展开更多
关键词
部分
真值
表
有效性
推理形式
判断推理
蕴涵
式
真值蕴涵
逻辑教材
复合命题
复合推理
方法
在线阅读
下载PDF
职称材料
谈谈模态逻辑
3
作者
郑文辉
梁庆寅
《现代哲学》
1986年第1期51-55,共5页
模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值...
模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“
展开更多
关键词
模态逻辑系统
数理逻辑
亚里士多德
模态命题
模态三段论
真值蕴涵
严格
蕴涵
系统
模态词
可能世界
模态系统
在线阅读
下载PDF
职称材料
题名
基于语言真值格值命题逻辑系统l_(νpl)的推理规则
被引量：
8
1
作者
赖家俊
徐扬
机构
西南交通大学信息科学与技术学院
西南交通大学智能控制开发中心
出处
《计算机科学》
CSCD
北大核心
2008年第9期230-232,共3页
基金
国家自然科学基金资助项目(编号:60474022)
教育部博士点专项基金资助项目(编号:20060613007)
文摘
一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。
关键词
语言
真值蕴涵
代数
语言
真值
命题逻辑
推理规则
闭性
Keywords
Linguistic truth-valued LIA, Linguistic truth value lattice-valued propositional logic, Rules of reasoning, Closed
分类号
O141 [理学—基础数学]
O189.11 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
真值表方法的功能
2
作者
戴月仙
出处
《上海师范大学学报（哲学社会科学版）》
1990年第1期146-150,共5页
文摘
早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定这类推理有效性的强有力的工具。考虑到真值表方法正在被愈来愈多的逻辑工作者重视,大部分新出版的普通逻辑教材已经移用了一部分真值表方法的材料,所以对真值表方法及其功能作进一步探讨、研究似很必要。
关键词
部分
真值
表
有效性
推理形式
判断推理
蕴涵
式
真值蕴涵
逻辑教材
复合命题
复合推理
方法
分类号
G658.3 [文化科学—教育学]
C55 [社会学]
在线阅读
下载PDF
职称材料
题名
谈谈模态逻辑
3
作者
郑文辉
梁庆寅
机构
中山大学哲学系
出处
《现代哲学》
1986年第1期51-55,共5页
文摘
模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“
关键词
模态逻辑系统
数理逻辑
亚里士多德
模态命题
模态三段论
真值蕴涵
严格
蕴涵
系统
模态词
可能世界
模态系统
分类号
B15 [哲学宗教—世界哲学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于语言真值格值命题逻辑系统l_(νpl)的推理规则
赖家俊
徐扬
《计算机科学》
CSCD
北大核心
2008
8
在线阅读
下载PDF
职称材料
2
真值表方法的功能
戴月仙
《上海师范大学学报（哲学社会科学版）》
1990
0
在线阅读
下载PDF
职称材料
3
谈谈模态逻辑
郑文辉
梁庆寅
《现代哲学》
1986
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
