会员服务
线性的 ·
2022 年 1 月 6 日
Non-associative and projective linear logics
翻译：非联合逻辑和投影线性线性逻辑
Daniel Lehmann
Daniel Lehmann
from arxiv, 22 pages

A non-commutative, non-associative weakening of Girard's linear logic is developed for multiplicative and additive connectives. Additional assumptions capture the logic of quantic measurements.


翻译：Girard的线性逻辑的非平衡性、非联合性弱化,是为多复制性和添加性连接而开发的,其他的假设反映了二次测量的逻辑。
0
下载
关闭预览

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
37+阅读 · 2022年1月24日
最新《Transformers模型》教程，64页ppt
最新《Transformers模型》教程，64页ppt
专知会员服务
325+阅读 · 2020年11月26日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
96+阅读 · 2020年3月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
GI介导干旱胁迫响应和干旱逃逸的分子机理
国家自然科学基金
0+阅读 · 2014年12月31日
稀疏张量学习理论
国家自然科学基金
1+阅读 · 2012年12月31日
面向个性化推荐的地理信息可视化方法
国家自然科学基金
4+阅读 · 2012年12月31日
阵列天线RCS减缩的机理、建模和仿真方法研究
国家自然科学基金
1+阅读 · 2009年12月31日
超过程及相关SPDE的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Prespecification of Structure for Optimizing Data Collection and Research Transparency by Leveraging Conditional Independencies
Arxiv
0+阅读 · 2022年4月19日
Subset selection for linear mixed models
Arxiv
1+阅读 · 2022年4月18日
Untangled: A Complete Dynamic Topological Logic
Arxiv
0+阅读 · 2022年4月18日
A Logical Analysis of Dynamic Dependence
Arxiv
0+阅读 · 2022年4月16日
Bayesian Nonparametrics for Sparse Dynamic Networks
Arxiv
0+阅读 · 2022年4月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
线性的
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
37+阅读 · 2022年1月24日
最新《Transformers模型》教程，64页ppt
最新《Transformers模型》教程，64页ppt
专知会员服务
325+阅读 · 2020年11月26日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
96+阅读 · 2020年3月12日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
热门VIP内容
相关资讯
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
相关论文
Prespecification of Structure for Optimizing Data Collection and Research Transparency by Leveraging Conditional Independencies
Arxiv
0+阅读 · 2022年4月19日
Subset selection for linear mixed models
Arxiv
1+阅读 · 2022年4月18日
Untangled: A Complete Dynamic Topological Logic
Arxiv
0+阅读 · 2022年4月18日
A Logical Analysis of Dynamic Dependence
Arxiv
0+阅读 · 2022年4月16日
Bayesian Nonparametrics for Sparse Dynamic Networks
Arxiv
0+阅读 · 2022年4月14日
相关基金
GI介导干旱胁迫响应和干旱逃逸的分子机理
国家自然科学基金
0+阅读 · 2014年12月31日
稀疏张量学习理论
国家自然科学基金
1+阅读 · 2012年12月31日
面向个性化推荐的地理信息可视化方法
国家自然科学基金
4+阅读 · 2012年12月31日
阵列天线RCS减缩的机理、建模和仿真方法研究
国家自然科学基金
1+阅读 · 2009年12月31日
超过程及相关SPDE的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top