墨子文化研究特色库

全部图书期刊论文会议论文学位论文图片视频资料

检索结果相关分组

按文献类别分组: 期刊论文(311); 图书(39); 学位论文(29); 会议论文(25)

按栏目分组: 墨学研究 (387); 墨子生平 (15); 墨家介绍 (2)

按录入时间分组: 2016(404)

按来源分组: 职大学报(16); 复印报刊资料(中国哲(10); 成文出版社(8); 哲学与文化(5); 平顶山学院学报(5); 商务印书馆(4); 自然辩证法研究(4); 安徽大学月刊(4); 北京：中国社会科学出(3); 北京：中华书局(3); 北京：清华大学出版社(2); 江苏教育(2); 哈尔滨理工大学(2); 中国哲学史研究(2); 北京：中国科学技术出(1); 天津：天津人民美术出(1); 商务出版社(1); 济南：齐鲁书社(1); 上海：上海科学技术文(1); 东方杂志(1); 贵阳：贵州人民出版社(1); 正中书局(1); 合肥：黄山书社(1); 南京：南京大学出版社(1); 沈阳：辽宁教育出版社(1); 上海：上海外语教育出(1); 数学教学(1); 唐都学刊(1); 大陆(1932年)(1); 中国科技史料(1)

首页>根据【检索词:无穷　　《墨经》　　阿基米德公理　　考释】搜索到相关结果1条

蕴涵理论研究——从《墨经》到《制约逻辑》: 作者： 盛作国 来源：贵州大学 录入时间：2016 文献类型：学位论文 关键词： 推理蕴涵理论现代逻辑; 描述：Cn系统可以证明“可能”与“必然”互制;制约系统包含“怪论”;关于初等数论的形式系统N可以证明1=0，而N的第一条公理就是1≠0，所以N是不一致的(即矛盾的)。

上页 1 下页