会员服务
讲稿 ·
2022 年 9 月 29 日
Defining implication relation for classical logic
翻译：界定古典逻辑的含义关系
Li Fu
Li Fu
from arxiv, 21 pages; 2 tables

Classical logic contains paradoxes with its problematic definition of implication, the material implication. This work presents a logical system with a corrected definition of implication. Paradoxes of material implication are avoided while strength and simplicity of the system are reserved with this definition of implication.


翻译：经典逻辑包含有其含意、实质含意等有问题的定义的矛盾,这项工作提出了一个逻辑系统,其含意定义得到纠正,避免了涉及重大含意的悖论,而系统的力量和简洁则保留了这一含意定义。
0
下载
关闭预览

相关内容

【图机器学习进展与趋势@ICML2022】Graph Machine Learning @ ICML 2022
【图机器学习进展与趋势@ICML2022】Graph Machine Learning @ ICML 2022
专知会员服务
38+阅读 · 2022年7月25日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【中科院自动化所】深度图生成方法及应用综述，A Survey on Deep Graph Generation: Methods and Applications
【中科院自动化所】深度图生成方法及应用综述，A Survey on Deep Graph Generation: Methods and Applications
专知会员服务
23+阅读 · 2022年3月15日
ICLR 2021杰出论文奖出炉，8篇论文上榜！
专知会员服务
25+阅读 · 2021年4月2日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
《数学学报》期刊
国家自然科学基金
4+阅读 · 2015年12月31日
牛磺酸抑制AS肉鸡右心肥大过程中calpains介导细胞凋亡作用的研究
国家自然科学基金
0+阅读 · 2015年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
抑制PKC-α/NADPH氧化酶信号通路激活：补骨脂改善幼龄小鼠脂肪肝的分子机制？
国家自然科学基金
0+阅读 · 2013年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
去酰基化ghrelin改善脂肪组织炎症所致胰岛素抵抗的机制- - 调节性T细胞的作用
国家自然科学基金
0+阅读 · 2011年12月31日
过渡金属掺杂AlN单晶生长与物性研究
国家自然科学基金
0+阅读 · 2011年12月31日
一种新型网络喷泉编码理论及关键技术研究
国家自然科学基金
0+阅读 · 2009年12月31日
芪莲舒痞颗粒逆转慢性萎缩性胃炎癌前病变的机理研究
国家自然科学基金
0+阅读 · 2009年12月31日
强磁场下过渡金属掺杂In2O3稀磁半导体纳米材料的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Application of Graph Neural Networks and graph descriptors for graph classification
Arxiv
0+阅读 · 2022年11月7日
Generalizable Re-Identification from Videos with Cycle Association
Arxiv
0+阅读 · 2022年11月7日
Implicit Graphon Neural Representation
Arxiv
0+阅读 · 2022年11月7日
Zero-Shot Classification by Logical Reasoning on Natural Language Explanations
Arxiv
0+阅读 · 2022年11月7日
Robustness of Fusion-based Multimodal Classifiers to Cross-Modal Content Dilutions
Arxiv
0+阅读 · 2022年11月4日
A Survey of Deep Causal Models
Arxiv
0+阅读 · 2022年11月3日
A Systematic Survey on Deep Generative Models for Graph Generation
Arxiv
18+阅读 · 2022年10月4日
A Survey of Deep Causal Model
Arxiv
45+阅读 · 2022年9月19日
A continual learning survey: Defying forgetting in classification tasks
Arxiv
32+阅读 · 2021年4月16日
Learning to Propagate for Graph Meta-Learning
Arxiv
14+阅读 · 2019年9月11日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
讲稿
相关VIP内容
【图机器学习进展与趋势@ICML2022】Graph Machine Learning @ ICML 2022
【图机器学习进展与趋势@ICML2022】Graph Machine Learning @ ICML 2022
专知会员服务
38+阅读 · 2022年7月25日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【中科院自动化所】深度图生成方法及应用综述，A Survey on Deep Graph Generation: Methods and Applications
【中科院自动化所】深度图生成方法及应用综述，A Survey on Deep Graph Generation: Methods and Applications
专知会员服务
23+阅读 · 2022年3月15日
ICLR 2021杰出论文奖出炉，8篇论文上榜！
专知会员服务
25+阅读 · 2021年4月2日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
热门VIP内容
相关资讯
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
相关论文
Application of Graph Neural Networks and graph descriptors for graph classification
Arxiv
0+阅读 · 2022年11月7日
Generalizable Re-Identification from Videos with Cycle Association
Arxiv
0+阅读 · 2022年11月7日
Implicit Graphon Neural Representation
Arxiv
0+阅读 · 2022年11月7日
Zero-Shot Classification by Logical Reasoning on Natural Language Explanations
Arxiv
0+阅读 · 2022年11月7日
Robustness of Fusion-based Multimodal Classifiers to Cross-Modal Content Dilutions
Arxiv
0+阅读 · 2022年11月4日
A Survey of Deep Causal Models
Arxiv
0+阅读 · 2022年11月3日
A Systematic Survey on Deep Generative Models for Graph Generation
Arxiv
18+阅读 · 2022年10月4日
A Survey of Deep Causal Model
Arxiv
45+阅读 · 2022年9月19日
A continual learning survey: Defying forgetting in classification tasks
Arxiv
32+阅读 · 2021年4月16日
Learning to Propagate for Graph Meta-Learning
Arxiv
14+阅读 · 2019年9月11日
相关基金
《数学学报》期刊
国家自然科学基金
4+阅读 · 2015年12月31日
牛磺酸抑制AS肉鸡右心肥大过程中calpains介导细胞凋亡作用的研究
国家自然科学基金
0+阅读 · 2015年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
抑制PKC-α/NADPH氧化酶信号通路激活：补骨脂改善幼龄小鼠脂肪肝的分子机制？
国家自然科学基金
0+阅读 · 2013年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
去酰基化ghrelin改善脂肪组织炎症所致胰岛素抵抗的机制- - 调节性T细胞的作用
国家自然科学基金
0+阅读 · 2011年12月31日
过渡金属掺杂AlN单晶生长与物性研究
国家自然科学基金
0+阅读 · 2011年12月31日
一种新型网络喷泉编码理论及关键技术研究
国家自然科学基金
0+阅读 · 2009年12月31日
芪莲舒痞颗粒逆转慢性萎缩性胃炎癌前病变的机理研究
国家自然科学基金
0+阅读 · 2009年12月31日
强磁场下过渡金属掺杂In2O3稀磁半导体纳米材料的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top