会员服务
线性的 ·
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
专知会员服务
74+阅读 · 2022年3月15日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
36+阅读 · 2022年1月24日
剑桥大学《数据科学: 原理与实践》课程，附PPT下载
剑桥大学《数据科学: 原理与实践》课程，附PPT下载
专知会员服务
47+阅读 · 2021年1月20日
最新《Transformers模型》教程，64页ppt
最新《Transformers模型》教程，64页ppt
专知会员服务
291+阅读 · 2020年11月26日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
专知会员服务
55+阅读 · 2020年1月25日
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
专知会员服务
190+阅读 · 2019年12月19日
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
专知会员服务
45+阅读 · 2019年10月17日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
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日
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】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 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
待字闺中
16+阅读 · 2018年12月24日
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
专知
18+阅读 · 2018年9月24日
GI介导干旱胁迫响应和干旱逃逸的分子机理
国家自然科学基金
0+阅读 · 2014年12月31日
基于Petri网与协同过滤的云上Web服务可信性量化分析与预测的研究
国家自然科学基金
0+阅读 · 2014年12月31日
变系数微分方程的谱方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
稀疏张量学习理论
国家自然科学基金
1+阅读 · 2012年12月31日
基于皮秒级精度可编程延时控制器的新型3D-TOF CMOS视觉传感系统关键问题的研究
国家自然科学基金
0+阅读 · 2012年12月31日
面向个性化推荐的地理信息可视化方法
国家自然科学基金
3+阅读 · 2012年12月31日
Candida glycerinogenes过量合成甘油过程中渗透压对EMP/HMP途径代谢偏转的调控研究
国家自然科学基金
0+阅读 · 2012年12月31日
阵列天线RCS减缩的机理、建模和仿真方法研究
国家自然科学基金
1+阅读 · 2009年12月31日
UGT基因簇进化及调控研究
国家自然科学基金
0+阅读 · 2009年12月31日
超过程及相关SPDE的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Theoretical analysis of edit distance algorithms: an applied perspective
Arxiv
0+阅读 · 2022年4月20日
Investigating Data Variance in Evaluations of Automatic Machine Translation Metrics
Arxiv
0+阅读 · 2022年4月19日
Information-theoretic Limits for Testing Community Structures in Weighted Networks
Arxiv
0+阅读 · 2022年4月19日
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日
Flexible Marginal Models for Dependent Data
Arxiv
0+阅读 · 2022年4月14日
Bayesian Nonparametrics for Sparse Dynamic Networks
Arxiv
0+阅读 · 2022年4月14日
This is the Moment for Probabilistic Loops
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
专知会员服务
74+阅读 · 2022年3月15日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
36+阅读 · 2022年1月24日
剑桥大学《数据科学: 原理与实践》课程，附PPT下载
剑桥大学《数据科学: 原理与实践》课程，附PPT下载
专知会员服务
47+阅读 · 2021年1月20日
最新《Transformers模型》教程，64页ppt
最新《Transformers模型》教程，64页ppt
专知会员服务
291+阅读 · 2020年11月26日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
【深度学习架构、模型和技巧集合(TensorFlow/PyTorch)】’Deep Learning Models - A collection of various deep learning architectures, models, and tips'
专知会员服务
55+阅读 · 2020年1月25日
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
专知会员服务
190+阅读 · 2019年12月19日
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
专知会员服务
45+阅读 · 2019年10月17日
热门VIP内容
相关资讯
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
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日
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】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 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
待字闺中
16+阅读 · 2018年12月24日
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
【跟踪Tracking】15篇论文+代码 | 中秋快乐~
专知
18+阅读 · 2018年9月24日
相关论文
Theoretical analysis of edit distance algorithms: an applied perspective
Arxiv
0+阅读 · 2022年4月20日
Investigating Data Variance in Evaluations of Automatic Machine Translation Metrics
Arxiv
0+阅读 · 2022年4月19日
Information-theoretic Limits for Testing Community Structures in Weighted Networks
Arxiv
0+阅读 · 2022年4月19日
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日
Flexible Marginal Models for Dependent Data
Arxiv
0+阅读 · 2022年4月14日
Bayesian Nonparametrics for Sparse Dynamic Networks
Arxiv
0+阅读 · 2022年4月14日
This is the Moment for Probabilistic Loops
Arxiv
0+阅读 · 2022年4月14日
相关基金
GI介导干旱胁迫响应和干旱逃逸的分子机理
国家自然科学基金
0+阅读 · 2014年12月31日
基于Petri网与协同过滤的云上Web服务可信性量化分析与预测的研究
国家自然科学基金
0+阅读 · 2014年12月31日
变系数微分方程的谱方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
稀疏张量学习理论
国家自然科学基金
1+阅读 · 2012年12月31日
基于皮秒级精度可编程延时控制器的新型3D-TOF CMOS视觉传感系统关键问题的研究
国家自然科学基金
0+阅读 · 2012年12月31日
面向个性化推荐的地理信息可视化方法
国家自然科学基金
3+阅读 · 2012年12月31日
Candida glycerinogenes过量合成甘油过程中渗透压对EMP/HMP途径代谢偏转的调控研究
国家自然科学基金
0+阅读 · 2012年12月31日
阵列天线RCS减缩的机理、建模和仿真方法研究
国家自然科学基金
1+阅读 · 2009年12月31日
UGT基因簇进化及调控研究
国家自然科学基金
0+阅读 · 2009年12月31日
超过程及相关SPDE的研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top