首页> 中文期刊> 《内蒙古社会科学》 >现代逻辑学理论分科

现代逻辑学理论分科

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

现代逻辑学理论分科现代逻辑学基本理论是多方面的，大致分为四个方面：一，数理逻辑包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论；二，哲学逻辑包括经典逻辑的各种扩充和各种非经典逻辑，如模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主...

著录项

来源
《内蒙古社会科学》 |1996年第4期|P.83-83|共1页
作者
无;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
现代逻辑; 学理论; 多值逻辑; 逻辑学; 非经典逻辑; 公理集合论; 弗协调逻辑; 人工智能; 蒙太古语法; 时态逻辑;

相似文献

中文文献
外文文献
专利

1. 论区分科学理论优劣的评价标准 [J] . 林绍春 . 桂海论丛 . 1992,第002期
2. 现代逻辑研究成果的结晶──评《现代逻辑辞典》 [J] . 江畅 . 江汉论坛 . 1995,第012期
3. 六分科技:厘清分明——访北京六分科技CEO金水祥 [J] . 公海燕 . 中国测绘 . 2020,第008期
4. 高中文理分科的存与亡?——基于文理分科存在基础的分析 [J] . 魏宏聚 . 天中学刊 . 2011,第001期
5. 从分科施教到分类育人——高中文理分科问题的纠结与转换 [J] . 顾彬彬 ,杨小微 . 基础教育 . 2011,第001期
6. 现代逻辑的知识表达及刻画能力的发展深化 [C] . 姜桂飞 ,唐晓嘉 . 全国现代逻辑学术讨论会 . 2011
7. 从辩证法到现代逻辑的语言祛魅进程 [A] . 杨四维 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号