首页> 中文期刊>逻辑学研究 >基于广义谢弗竖的分析性模态公理系统

基于广义谢弗竖的分析性模态公理系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性.

著录项

来源
《逻辑学研究》|2009年第3期|37-49|共13页
作者
唐芳芳;
展开▼
作者单位

中国社会科学院马克思主义研究院;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
广义谢弗竖; 模态逻辑; 分析性公理系统; 插值定理;

相似文献

中文文献
外文文献
专利

1. 模态逻辑GL的基于广义谢弗竖的分析性模态公理系统 [J] . 唐芳芳 . 逻辑学研究 . 2016,第002期
2. 基于破坏性表列的模态公理系统 [J] . 唐芳芳 . 湖南科技大学学报：社会科学版 . 2009,第1期
3. 基于Pro/MECHANICA的导弹起竖臂模态分析 [J] . 孙庆华 ,李锋 . 新技术新工艺 . 2007,第004期
4. 基于广义典型相关分析融合和鲁棒概率协同表示的人脸指纹多模态识别 [J] . 张静 ,刘欢喜 ,丁德锐 . 上海理工大学学报 . 2018,第002期
5. 基于广义模态截断扩增方法的结构频响拓扑变量灵敏度分析 [J] . 周大为 ,陈飙松 ,李云鹏 . 工程力学 . 2018,第11期
6. 模态逻辑GL的基于广义谢弗竖的分析性模态公理系统 [C] . Fangfang Tang ,唐芳芳 . 2017年全国现代逻辑学术研讨会 . 2017
7. 彼得·谢弗戏剧中的语言暴力与微观权力斗争研究 [A] . 张晓琪 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号