首页> 外文期刊>History and philosophy of logic >Logic Lectures. Godel's Basic Logic Course at Notre Dame

【24h】

Logic Lectures. Godel's Basic Logic Course at Notre Dame

机译：逻辑讲座。戈德尔在巴黎圣母院的基本逻辑课程

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《History and philosophy of logic》 |2018年第4期|共6页
作者
von Plato Jan;
展开▼
作者单位

Univ Helsinki Dept Philosophy POB 24 FIN-00014 Helsinki Finland;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类逻辑学（论理学）;
关键词

相似文献

外文文献
中文文献
专利

1. Logic Lectures. Godel's Basic Logic Course at Notre Dame [J] . von Plato Jan History and philosophy of logic . 2018,第4期

机译：逻辑讲座。戈德尔在巴黎圣母院的基本逻辑课程
2. From rational Godel logic to ultrametric logic [J] . Khatami S. M. A., Pourmahdian M., Tavana N. R. Journal of logic and computation . 2016,第5期

机译：从理性的哥德尔逻辑到超逻辑
3. On witnessed models in fuzzy logic III - witnessed Godel logics [J] . Hajek P Mathematical logic quarterly: MLQ . 2010,第2期

机译：关于模糊逻辑中的见证模型III-见证的Godel逻辑
4. Towards Rational Closure for Fuzzy Logic: The Case of Propositional Godel Logic [C] . Giovanni Casini, Umberto Straccia International Conference on Logic for Programming, Artificial Intelligence, and Reasoning . 2013

机译：对于模糊逻辑的理性关闭：命题戈德尔逻辑的案例
5. Basic model theory of finitary and infinitary languages of first-order logic with dependent sorts (FOLDS). [D] . Boudreault, Christian. 2007

机译：具有相关排序（FOLDS）的一阶逻辑的最终语言和最终语言的基本模型理论。
6. Bottom‐Gate Approach for All Basic Logic Gates Implementation by a Single‐Type IGZO‐Based MOS Transistor with Reduced Footprint [O] . Shaocheng Qi, Joao Cunha, Tian‐Long Guo, 2020

机译：采用基本IGZO的MOS晶体管以减小的占位面积实现所有基本逻辑门的底栅方法
7. Fuzzy Logic and Education: Teaching the Basics of Fuzzy Logic through an Example (by Way of Cycling) [O] . Alejandro Sobrino 2013

机译：模糊逻辑与教育：通过实例（循环方式）教授模糊逻辑基础

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号