会员服务
模态 · 情景 · 规范化的 ·
2 月 26 日
Intuitionistic modal logics: a minimal setting
翻译：暂无翻译
Philippe Balbiani,Çigdem Gencer
Philippe Balbiani,Çigdem Gencer

We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''.


翻译：暂无翻译
0
下载
关闭预览

相关内容

《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
专知会员服务
65+阅读 · 2023年6月10日
牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
43+阅读 · 2022年2月17日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
45+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
33+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
147+阅读 · 2020年7月6日
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
专知会员服务
34+阅读 · 2020年1月15日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
35+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
177+阅读 · 2019年10月11日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
学习自然语言处理路线图
学习自然语言处理路线图
专知会员服务
139+阅读 · 2019年9月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
18+阅读 · 2019年1月7日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
概率图模型体系：HMM、MEMM、CRF
概率图模型体系：HMM、MEMM、CRF
机器学习研究会
30+阅读 · 2018年2月10日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
基于LDA的主题模型实践（三）
基于LDA的主题模型实践（三）
机器学习深度学习实战原创交流
23+阅读 · 2015年10月12日
Hamilton-Jacibi方程的弱KAM理论
国家自然科学基金
1+阅读 · 2017年12月31日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
三类多尺度问题的多尺度算法
国家自然科学基金
1+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
2+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Extremal correlation coefficient for functional data
Arxiv
0+阅读 · 2月26日
Learning sparse generalized linear models with binary outcomes via iterative hard thresholding
Arxiv
0+阅读 · 2月25日
Numerical approximations for a hyperbolic integrodifferential equation with a non-positive variable-sign kernel and nonlinear-nonlocal damping
Arxiv
0+阅读 · 2月20日
A robust estimation and variable selection approach for sparse partially linear additive models
Arxiv
0+阅读 · 2月18日
Sensitivity analysis for multivariable missing data using multiple imputation: a tutorial
Arxiv
0+阅读 · 2月5日
Predicting symmetries of quantum dynamics with optimal samples
Arxiv
0+阅读 · 2月3日
Artificial Barriers for stochastic differential equations and for construction of boundary-preserving schemes
Arxiv
0+阅读 · 1月24日
On one-way functions and the average time complexity of almost-optimal compression
Arxiv
0+阅读 · 1月23日
Parallel remote state preparation for fully device-independent verifiable blind quantum computation
Arxiv
0+阅读 · 1月22日
Module-conditioned distribution of quantum circuits
Arxiv
0+阅读 · 1月21日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
情景
规范化的
相关VIP内容
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
专知会员服务
65+阅读 · 2023年6月10日
牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
43+阅读 · 2022年2月17日
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
【NeurIPS2021】用于文本图表示学习的 GNN 嵌套 Transformer 模型：GraphFormers
专知会员服务
45+阅读 · 2021年11月24日
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知会员服务
33+阅读 · 2021年3月7日
【ACL2020】多模态信息抽取，365页ppt
【ACL2020】多模态信息抽取，365页ppt
专知会员服务
147+阅读 · 2020年7月6日
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
专知会员服务
34+阅读 · 2020年1月15日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
35+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
177+阅读 · 2019年10月11日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
学习自然语言处理路线图
学习自然语言处理路线图
专知会员服务
139+阅读 · 2019年9月24日
热门VIP内容
相关资讯
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
18+阅读 · 2019年1月7日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
概率图模型体系：HMM、MEMM、CRF
概率图模型体系：HMM、MEMM、CRF
机器学习研究会
30+阅读 · 2018年2月10日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
基于LDA的主题模型实践（三）
基于LDA的主题模型实践（三）
机器学习深度学习实战原创交流
23+阅读 · 2015年10月12日
相关论文
Extremal correlation coefficient for functional data
Arxiv
0+阅读 · 2月26日
Learning sparse generalized linear models with binary outcomes via iterative hard thresholding
Arxiv
0+阅读 · 2月25日
Numerical approximations for a hyperbolic integrodifferential equation with a non-positive variable-sign kernel and nonlinear-nonlocal damping
Arxiv
0+阅读 · 2月20日
A robust estimation and variable selection approach for sparse partially linear additive models
Arxiv
0+阅读 · 2月18日
Sensitivity analysis for multivariable missing data using multiple imputation: a tutorial
Arxiv
0+阅读 · 2月5日
Predicting symmetries of quantum dynamics with optimal samples
Arxiv
0+阅读 · 2月3日
Artificial Barriers for stochastic differential equations and for construction of boundary-preserving schemes
Arxiv
0+阅读 · 1月24日
On one-way functions and the average time complexity of almost-optimal compression
Arxiv
0+阅读 · 1月23日
Parallel remote state preparation for fully device-independent verifiable blind quantum computation
Arxiv
0+阅读 · 1月22日
Module-conditioned distribution of quantum circuits
Arxiv
0+阅读 · 1月21日
相关基金
Hamilton-Jacibi方程的弱KAM理论
国家自然科学基金
1+阅读 · 2017年12月31日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
罗巴代数的表示和罗巴代数在operad中的应用
国家自然科学基金
0+阅读 · 2015年12月31日
三类多尺度问题的多尺度算法
国家自然科学基金
1+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
2+阅读 · 2015年12月31日
哈密尔顿系统及多体问题的周期解
国家自然科学基金
0+阅读 · 2014年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top