首页> 中文期刊> 《逻辑学研究》 >带否定算子的兰贝克演算研究

带否定算子的兰贝克演算研究

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文研究否定算子的兰贝克演算,提出了兰贝克演算的极小否定扩张,刻画了兰贝克演算的极小否定扩张的代数模型,同时证明了兰贝克演算的极小否定的扩张判定性,并发展了该逻辑的一个根岑序列演算.同时本文也将结论拓展到兰贝克演算的德摩根扩张并证明其判定性.

著录项

来源
《逻辑学研究》 |2018年第3期|34-43|共10页
作者
林哲; 梁飞;
展开▼
作者单位

中山大学哲学系;

中山大学逻辑与认知研究所;

山东大学哲学与社会发展学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
兰贝克演算; 否定; 根岑系统; 判定性;

相似文献

中文文献
外文文献
专利

1. 带有受限缩并规则的兰贝克演算中的照应算子 [J] . 张晓君 ,满海霞 . 重庆理工大学学报 . 2011,第004期
2. 带有受限缩并规则的兰贝克演算中的照应算子 [J] . 张晓君 ,满海霞 . 重庆理工大学学报（社会科学版） . 2011,第004期
3. 带Mismatch算子的高阶π演算∗ [J] . 徐贤 . 软件学报 . 2014,第011期
4. 非对称带不等算子的χ≠-演算 [J] . 钟发荣 . 淮北师范大学学报（自然科学版） . 2006,第002期
5. 哲学逻辑对判断的非反否定演算研究 [J] . 罗翊重 . 昆明学院学报 . 2006,第003期
6. 对全波形反演算子进行的散射角度滤波 [C] . 范飞 ,李振春 ,曹文俊 . 2016中国地球科学联合学术年会 . -1
7. 铁路经济带节点城市经济联系强度比较分析——以西陇海-兰新、呼包-包兰-兰青铁路经济带为例 [A] . 张宇硕 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号