首页> 中文期刊> 《逻辑学研究》 >弱逻辑F的矢列演算

弱逻辑F的矢列演算

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的.此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明.

著录项

来源
《逻辑学研究》 |2021年第1期|28-48|共21页
作者
陈钰;
展开▼
作者单位

清华大学哲学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
严格蕴涵逻辑; 亚直觉主义逻辑; 切割消去定理;

相似文献

中文文献
外文文献
专利

1. 直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统 [J] . 余军成1 . 贵州工程应用技术学院学报 . 2019,第003期
2. 直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统 [J] . 余军成 . 毕节学院学报 . 2019,第003期
3. 基本命题逻辑BPL带标的矢列演算系统 [J] . 陈钰 . 毕节学院学报 . 2016,第003期
4. 论经典命题逻辑矢列演算的保持高度收缩定理 [J] . 余军成 ,和宝珍 . 毕节学院学报 . 2016,第003期
5. 两类矢值序列空间Xp（E）和ss（E）的弱*局部列紧性 [J] . 秦璇 ,苏雅拉图 . 宝鸡文理学院学报（自然科学版） . 2015,第004期
6. 一阶谓词逻辑反驳演算自然推理系统 [C] . DU Guo-ping ,杜国平 ,ZHAO Man . 2013年全国应用逻辑学术年会 . 2013
7. 基于语境依赖语义的公开宣告逻辑矢列演算系统 [A] . 党学哲 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号