首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:从到   被引次数:从到   他引次数:从到 提示：输入*表示无穷大
全文获取类型
  收费全文   2篇
  免费   0篇
专业分类
理论与方法论   2篇
出版年
  2000年   1篇
  1993年   1篇
排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
复合谓词的逻辑系统   总被引：1，自引：1，他引：0  
有两类不同的谓词：性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理，有时是不合适的。本文在一阶逻辑的基础上，区别性质谓词与类谓词，构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。...  相似文献   
2.
  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号