会员服务
线性的 · SimPLe ·
2020 年 11 月 23 日
A New Linear Time Correctness Condition for Multiplicative Linear Logic
翻译：新的线性线性线性逻辑的线性时间校正条件
Satoshi Matsuoka
Satoshi Matsuoka
from arxiv, Found an bug in the proof of the linear time claim in the second version. Adapted the algorithm in order to guarantee the linear time termination. Added an additional example

In this paper, we give a new linear time correctness condition for proof nets of Multiplicative Linear Logic without units. Our approach is based on a rewriting system over trees. We have only three rewrite rules. Compared with previous linear time correctness conditions, our system is surprisingly simple and intuitively appealing.


翻译：在本文中,我们给无单位的多倍线性线性逻辑验证网提供了一个新的线性时间正确性条件。 我们的方法是基于对树木的重写系统。 我们只有三个重写规则。 与先前的线性时间正确性条件相比, 我们的系统非常简单,直觉地具有吸引力。
0
下载
关闭预览

相关内容

最新《自监督表示学习》报告，70页ppt
最新《自监督表示学习》报告，70页ppt
专知会员服务
86+阅读 · 2020年12月22日
迁移学习简明教程，11页ppt
迁移学习简明教程，11页ppt
专知会员服务
108+阅读 · 2020年8月4日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
79+阅读 · 2020年7月26日
商业数据分析，39页ppt
商业数据分析，39页ppt
专知会员服务
162+阅读 · 2020年6月2日
元迁移学习的小样本学习，Meta-transfer Learning for Few-shot Learning
元迁移学习的小样本学习，Meta-transfer Learning for Few-shot Learning
专知会员服务
159+阅读 · 2020年2月29日
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
专知会员服务
11+阅读 · 2020年1月17日
【ECML-PKDD 2019】序列和时间序列学习的有效线性模型（Effective Linear Models for Learning with Sequences and Time Series），Georgiana Ifrim
【ECML-PKDD 2019】序列和时间序列学习的有效线性模型（Effective Linear Models for Learning with Sequences and Time Series），Georgiana Ifrim
专知会员服务
35+阅读 · 2019年12月1日
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
专知会员服务
58+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
195+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
RoBERTa中文预训练模型：RoBERTa for Chinese
RoBERTa中文预训练模型：RoBERTa for Chinese
PaperWeekly
57+阅读 · 2019年9月16日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
已删除
已删除
将门创投
3+阅读 · 2019年4月25日
GitHub 热门：别再用 print 输出来调试代码了
GitHub 热门：别再用 print 输出来调试代码了
Python开发者
27+阅读 · 2019年4月24日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
专知
18+阅读 · 2018年9月24日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Learning compositional functions via multiplicative weight updates
Arxiv
0+阅读 · 2021年1月8日
When does the Physarum Solver Distinguish the Shortest Path from other Paths: the Transition Point and its Applications
Arxiv
0+阅读 · 2021年1月8日
An extra-components method for evaluating fast matrix-vector multiplication with special functions
Arxiv
0+阅读 · 2021年1月8日
Relating Apartness and Bisimulation
Arxiv
0+阅读 · 2021年1月7日
Fast parallel solution of fully implicit Runge-Kutta and discontinuous Galerkin in time for numerical PDEs, Part I: the linear setting
Arxiv
0+阅读 · 2021年1月7日
Algorithms and Hardness for Multidimensional Range Updates and Queries
Arxiv
0+阅读 · 2021年1月6日
CEDR: Contextualized Embeddings for Document Ranking
Arxiv
4+阅读 · 2019年8月19日
Probabilistic Logic Neural Networks for Reasoning
Arxiv
7+阅读 · 2019年6月20日
Logically-Constrained Reinforcement Learning
Arxiv
5+阅读 · 2018年4月22日
Additive Margin Softmax for Face Verification
Arxiv
11+阅读 · 2018年1月18日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
线性的
SimPLe
相关VIP内容
最新《自监督表示学习》报告，70页ppt
最新《自监督表示学习》报告，70页ppt
专知会员服务
86+阅读 · 2020年12月22日
迁移学习简明教程，11页ppt
迁移学习简明教程，11页ppt
专知会员服务
108+阅读 · 2020年8月4日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
79+阅读 · 2020年7月26日
商业数据分析，39页ppt
商业数据分析，39页ppt
专知会员服务
162+阅读 · 2020年6月2日
元迁移学习的小样本学习，Meta-transfer Learning for Few-shot Learning
元迁移学习的小样本学习，Meta-transfer Learning for Few-shot Learning
专知会员服务
159+阅读 · 2020年2月29日
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
专知会员服务
11+阅读 · 2020年1月17日
【ECML-PKDD 2019】序列和时间序列学习的有效线性模型（Effective Linear Models for Learning with Sequences and Time Series），Georgiana Ifrim
【ECML-PKDD 2019】序列和时间序列学习的有效线性模型（Effective Linear Models for Learning with Sequences and Time Series），Georgiana Ifrim
专知会员服务
35+阅读 · 2019年12月1日
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
专知会员服务
58+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
195+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
热门VIP内容
相关资讯
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
RoBERTa中文预训练模型：RoBERTa for Chinese
RoBERTa中文预训练模型：RoBERTa for Chinese
PaperWeekly
57+阅读 · 2019年9月16日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
已删除
已删除
将门创投
3+阅读 · 2019年4月25日
GitHub 热门：别再用 print 输出来调试代码了
GitHub 热门：别再用 print 输出来调试代码了
Python开发者
27+阅读 · 2019年4月24日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
专知
18+阅读 · 2018年9月24日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
相关论文
Learning compositional functions via multiplicative weight updates
Arxiv
0+阅读 · 2021年1月8日
When does the Physarum Solver Distinguish the Shortest Path from other Paths: the Transition Point and its Applications
Arxiv
0+阅读 · 2021年1月8日
An extra-components method for evaluating fast matrix-vector multiplication with special functions
Arxiv
0+阅读 · 2021年1月8日
Relating Apartness and Bisimulation
Arxiv
0+阅读 · 2021年1月7日
Fast parallel solution of fully implicit Runge-Kutta and discontinuous Galerkin in time for numerical PDEs, Part I: the linear setting
Arxiv
0+阅读 · 2021年1月7日
Algorithms and Hardness for Multidimensional Range Updates and Queries
Arxiv
0+阅读 · 2021年1月6日
CEDR: Contextualized Embeddings for Document Ranking
Arxiv
4+阅读 · 2019年8月19日
Probabilistic Logic Neural Networks for Reasoning
Arxiv
7+阅读 · 2019年6月20日
Logically-Constrained Reinforcement Learning
Arxiv
5+阅读 · 2018年4月22日
Additive Margin Softmax for Face Verification
Arxiv
11+阅读 · 2018年1月18日
Top
微信扫码咨询专知VIP会员
Top