会员服务
2022 年 4 月 27 日
Proof-Theoretic Soundness and Completeness
翻译：证据理论的正确性和完整性
Robert Rothenberg
Robert Rothenberg
from arxiv, The proofs are flawed

We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a proof-theoretic soundness and completeness proof, which we believe is conducive to automation.


翻译：我们用计算法来推理古典逻辑的一阶碎片,它足以提供直觉学Kripke框架的真理条件,我们提出证据理论的正确性和完整性证明,我们认为这有利于自动化。
0
下载
关闭预览

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
52+阅读 · 2020年9月7日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
126+阅读 · 2020年7月18日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
Kisspeptin调控绵羊GnRH基因表达的作用机制解析
国家自然科学基金
0+阅读 · 2015年12月31日
基于GNSS的高速列车多源信息融合定位模型及其RAMS评估研究
国家自然科学基金
0+阅读 · 2014年12月31日
炎症因子cathelicidin促进非小细胞肺癌增殖的作用及其在肿瘤微环境中表达调控机制
国家自然科学基金
0+阅读 · 2014年12月31日
多智能体系统的可控性与群可控性研究
国家自然科学基金
10+阅读 · 2013年12月31日
Lévy过程轨道空间上的拟不变性与泛函不等式
国家自然科学基金
0+阅读 · 2013年12月31日
Corin介导的ANP活化在动脉粥样硬化形成及其炎症反应中的作用与机制
国家自然科学基金
0+阅读 · 2012年12月31日
生长素反应因子ARF2调控类黄酮生物合成的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
嘌呤类受体P2Y6在细菌感染与炎症反应中的调控机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
硅光子学集成用Er silicate光波导放大器应用基础研究
国家自然科学基金
0+阅读 · 2009年12月31日
树、格及Hurwitz排列中的计数问题
国家自然科学基金
0+阅读 · 2008年12月31日
Causal Discovery for Fairness
Arxiv
0+阅读 · 2022年6月14日
Formal verification of iterative convergence of numerical algorithms
Arxiv
0+阅读 · 2022年6月13日
Parallel Domain Decomposition method for the fully-mixed Stokes-dual-permeability fluid flow model with Beavers-Joseph interface conditions
Arxiv
0+阅读 · 2022年6月13日
A Finite-Model-Theoretic View on Propositional Proof Complexity
Arxiv
0+阅读 · 2022年6月13日
A non-graphical representation of conditional independence via the neighbourhood lattice
Arxiv
0+阅读 · 2022年6月12日
Bounding and Approximating Intersectional Fairness through Marginal Fairness
Arxiv
0+阅读 · 2022年6月12日
We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification
Arxiv
0+阅读 · 2022年6月10日
Valid inferential models for prediction in supervised learning problems
Arxiv
0+阅读 · 2022年6月9日
The Causal Learning of Retail Delinquency
Arxiv
14+阅读 · 2020年12月17日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
52+阅读 · 2020年9月7日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
126+阅读 · 2020年7月18日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
81+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
相关论文
Causal Discovery for Fairness
Arxiv
0+阅读 · 2022年6月14日
Formal verification of iterative convergence of numerical algorithms
Arxiv
0+阅读 · 2022年6月13日
Parallel Domain Decomposition method for the fully-mixed Stokes-dual-permeability fluid flow model with Beavers-Joseph interface conditions
Arxiv
0+阅读 · 2022年6月13日
A Finite-Model-Theoretic View on Propositional Proof Complexity
Arxiv
0+阅读 · 2022年6月13日
A non-graphical representation of conditional independence via the neighbourhood lattice
Arxiv
0+阅读 · 2022年6月12日
Bounding and Approximating Intersectional Fairness through Marginal Fairness
Arxiv
0+阅读 · 2022年6月12日
We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification
Arxiv
0+阅读 · 2022年6月10日
Valid inferential models for prediction in supervised learning problems
Arxiv
0+阅读 · 2022年6月9日
The Causal Learning of Retail Delinquency
Arxiv
14+阅读 · 2020年12月17日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
相关基金
Kisspeptin调控绵羊GnRH基因表达的作用机制解析
国家自然科学基金
0+阅读 · 2015年12月31日
基于GNSS的高速列车多源信息融合定位模型及其RAMS评估研究
国家自然科学基金
0+阅读 · 2014年12月31日
炎症因子cathelicidin促进非小细胞肺癌增殖的作用及其在肿瘤微环境中表达调控机制
国家自然科学基金
0+阅读 · 2014年12月31日
多智能体系统的可控性与群可控性研究
国家自然科学基金
10+阅读 · 2013年12月31日
Lévy过程轨道空间上的拟不变性与泛函不等式
国家自然科学基金
0+阅读 · 2013年12月31日
Corin介导的ANP活化在动脉粥样硬化形成及其炎症反应中的作用与机制
国家自然科学基金
0+阅读 · 2012年12月31日
生长素反应因子ARF2调控类黄酮生物合成的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
嘌呤类受体P2Y6在细菌感染与炎症反应中的调控机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
硅光子学集成用Er silicate光波导放大器应用基础研究
国家自然科学基金
0+阅读 · 2009年12月31日
树、格及Hurwitz排列中的计数问题
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top