切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于广义谢弗竖的分析性模态公理系统
基于广义谢弗竖的分析性模态公理系统
来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:vforvivid
【摘 要】
:
沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系
【作 者】
:
唐芳芳
【机 构】
:
中国社会科学院马克思主义研究院
【出 处】
:
逻辑学研究
【发表日期】
:
2009年3期
【关键词】
:
广义谢弗竖
模态逻辑
分析性公理系统
插值定理
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性。
其他文献
威海双岛公路桥的施工
本文介绍了威海双岛跨海公路桥的施工概况,着重介绍了国内大的张拉吨位50m预应力混凝土梁的制造工艺和直径1.8m灌注桩的施工方法。
期刊
跨海公路桥
预应力
公路桥
工程施工
灌注桩
基于地理空间大数据的应急测绘指挥调度系统
为了解决当前存在的资料准备不充分、资源队伍管理不集中、应急测绘过程不可视、应急供图效率低等问题,结合地理信息技术、大数据技术,充分分析了地理空间大数据在应急保障中
期刊
应急测绘
地理空间大数据
指挥调度
灾情分析
沉箱坞壁及止水工艺与效果
本文论述了船坞采用“湿法”工艺施工中止水设施的设置及止水效果分析。经采用多种不同的止水结构,保证了坞内干施工的条件,效果良好。
期刊
船坞
止水结构
沉箱
施工工艺
dockwater sealing structurecaisson
逻辑现代化:今天的理解与实践——王宪钧先生诞辰100周年纪念大会逻辑现代化专题研讨侧记
王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出"逻辑课程现代化"的口号,对当时的逻辑界有振聋发聩之功。此后"逻辑现代化"成为我国逻辑学发展的主旋律
期刊
逻辑现代化
专题研讨
周年纪念
侧记
诞辰
实践
教学与研究
课程现代化
耐腐蚀体育器械用钢的开发与性能研究
采用金相显微、X射线衍射仪和电化学工作站等手段,研究了对比钢和试验钢在不同腐蚀时间下的表面形貌、截面形貌、物相组成和耐腐蚀性能。结果表明,对比钢和试验钢在经过室外
期刊
大气腐蚀
碳素钢
耐候钢
室外加速腐蚀
电化学腐蚀
atmospheric corrosioncarbon steelweathering steeloutdo
加强和规范项目评审工作全面提升农业综合开发项目管理水平
一、农业综合开发项目评审工作简要回顾农业综合开发实施20多年来,深深植根于我国农村大地,在强基础、稳粮食、兴产业、促增收方面发挥了重要作用。党中央、国务院对农业综合开
期刊
农业综合开发项目
评审工作
项目管理
水
国务院
可替代
农民
财政
混凝土及钢筋混凝土土壤腐蚀试验研究
土壤对混凝上的腐蚀的类型和程度取决于混凝土质量和水泥品种以及土壤中所含腐蚀介质的种类和数量。高密实性和高强度混凝土的耐腐蚀性较好。硫酸盐对混凝土的侵蚀作用主要与
期刊
混凝土
钢筋混凝土
土壤
腐蚀
支持现代农业园区建设 促进农发管理机制创新
2009年,安徽省芜湖市借助在南陵县许镇镇建立的“芜湖大浦新农村建设试验区”平台,立项实施农业综合开发土地治理项目,积极探索农业综合开发支持现代农业园区建设,促进管理体制、
期刊
园区建设
现代农业
机制创新
管理体制
农业综合开发
土地治理项目
新农村建设
运行机制
丁苯橡胶的市场发展动向
丁苯橡胶是一种应用最广的合成橡胶,是丁二烯和苯乙烯的共聚物。主要根据聚合温度分为高温丁苯橡胶和低温丁苯橡胶。后者性能较好,发展也快。按苯乙烯含量等的不同而分为各种牌
期刊
丁苯橡胶
市场发展
耐老化性能
乙烯含量
天然橡胶
玻璃化温度
合成橡胶
聚合温度
多发性肺囊肿继发大量咯血1例报告
多发性肺囊肿继发大量咯血1例报告银川市第一医院胸外科张克明,雍海宏,包石城多发性肺囊肿继发大咯血病例临床罕见,现状我院经病理证实1例报告如下。1患者,男、38岁,以进食时突然大咯血
期刊
肺肿瘤
囊肿
咯血
继发
病例报告
与本文相关的学术论文