切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
标准模态逻辑的判定方法和完全性
标准模态逻辑的判定方法和完全性
来源 :兰州大学学报:社会科学版 | 被引量 : 0次 | 上传用户:tingyu263
【摘 要】
:
本文首先说明标准模态逻辑的D、T、S
4
、S
5
系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。
【作 者】
:
任秋云;陶景侃
【机 构】
:
兰州大学哲学系兰州大学哲学系
【出 处】
:
兰州大学学报:社会科学版
【发表日期】
:
1993年3期
【关键词】
:
语义图
完全性定理
规则
模态逻辑
判定公式
当且仅当
公理
模型
系统
作图
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先说明标准模态逻辑的D、T、S4、S5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。
其他文献
弯曲木材试件尺寸稳定性与陈放时间的关系
研究了不同软化工艺条件下,弯曲木材试件的尺寸稳定性与陈放时间的关系。试验结果表明:不同的软化工艺条件对应不同的陈放时间。在软化条件Ⅰ下,陈放时间为4h,试件获得比较好的尺
期刊
软化工艺
弯曲试件
陈放时间
尺寸稳匙陆
softening condition
curing sample
depositing time
dimens
试论我国的减灾十年战略
<正> 1987年第42届联合国大会通过的第169号决议,确定1990~2000年为“国际减轻自然灾害十年”;1989年12月第44届联大又通过了《国际减轻自然灾害十年》决议和《国际减轻自然灾害十年国际行动纲领》,宣布“减灾十年”。于1990年1月1日开始,指定每年10月的第二个星期三为国际减轻自然灾害日。这是一项很重要的决议,目的是通过一致的国际行动,特别是在发展中国家,减轻自然灾害所造成的生命财产损失和社会经济失调。这种一致的国际行动,反映了世界各国人民防灾、救灾和减轻灾害的共同意志和愿
期刊
减灾技术
国际减轻自然灾害十年
减轻灾害
灾害损失
行动纲领
国际行动
生命财产损失
人员伤亡
人死亡
减灾工作
俄汉成语对应关系初探
成语以引申的形象做比喻表现语义内容,民族特色浓重。俄汉语意义相同的成语依所用的形象和表述的方式可归纳为完全对应、部分对应和无对应三类关系。随着时间的推移,某些成语的
期刊
隐喻
表述方式
民族文化特色
metaphorways of expressionfeatures of national culture
中国传统伦理文化反思四题
<正> 中国传统伦理文化哺育了伟大的中华民族和灿烂的华夏文明;近代以来却急剧衰落,在社会变革中每每受到猛烈批判(比如五四时期)。这种巨大的历史反差,在近代以来的社会变革中显得格外冷峻而意味深长。几代中国人对中国传统伦理文化的独特价值和历史命运,便不断展开痛苦而冷峻的反思。在中国社会现代化进程中,这种反思仍在继续和深化。在新的历史条件下,从新的起点、高度更深刻地反思、变革传统伦理文化,成为社会现代化的重要前提,也是世纪之交的中国人面临的机遇和挑战。一中国传统伦理文化的变革是艰巨的
期刊
中国传统伦理文化
社会现代化
近代以来
现代化进程
批判精神
社会变革
中国社会
华夏文明
批判反思
历史条件
第十三届乌兹别克斯坦国际建材展
展会介绍:乌兹别克斯坦规模较大、水平较高的建材及室内装修展,每年都会吸引来自多个国家的展商参展,其中新疆多维钢结构有限公司;上海北玻科技有限公司;洛阳兰迪玻璃机械公司;玉环
期刊
乌兹别克斯坦
建材
国际
展会介绍
室内装修
玻璃机械
钢结构
玉环县
Stable single photon sources in the near C-band range above 400 K
The intrinsic characteristics of single photons became critical issues since the early development of quantum mechanics. Nowadays, acting as flying qubits, sing
期刊
single
PHOTON
source
STABLE
PHOTOLUMINESCENCE
silicon
CARBIDE
ELEVATED
temperatu
数字化校园下技工院校网络信息安全问题探索
种技的进步,网络已经成为技工院校工作、教学和科研等必不可少的工具,网络信息资源的分享极大提高了工作效率,但安全问题绝对不能忽视。本文就技工院校信息安全问题做了分析并提
期刊
网络
信息安全
退火真空度对Sn-Al共掺杂ZnO薄膜性能的影响
采用溶胶-凝胶工艺制备出高可见光透过率、低电阻率的Sn-Al共掺杂ZnO透明导电薄膜(ZASO薄膜),分析了退火真空度对薄膜的晶体结构、光电性能的影响.结果表明:真空退火不改变ZnO晶
期刊
溶胶-凝胶
Sn-Al掺杂ZnO薄膜(ZASO)
真空度
Sol-Gel
ZASO thin film
vacuum
optical and electr
宁夏少数民族地区健身模式主因素研究
期刊
宁夏
少数民族地区
健身模式
体育生活
组成因素
Ningxia
sports life
bodytraining model
中国社会转型初期的文学印记——再读贾平凹长篇小说《商州》
贾平凹于1984年创作的第一部长篇小说《商州》,不仅奠定了贾平凹长篇创作的基础,对中国文学、社会学等学科领域也有一定的贡献性的意义。就文学而言,它为中国社会转型初期留下了
期刊
贾平凹
商州
社会转型初期
乡愁
Jia Pingwa
Shangzhou
early period of the social transition
h
与本文相关的学术论文