会员服务
《符号逻辑杂志》出版了高质量的数学逻辑及其应用研究杂志。自1936年成立以来，JSL一直是世界上致力于数学逻辑的主要期刊。官网链接：https://www.cambridge.org/core/journals/journal-of-symbolic-logic
On the expressive power of inquisitive epistemic logic
Arxiv
0+阅读 · 8月1日
An independence of the MIN principle from the PHP principle
Arxiv
0+阅读 · 6月21日
From Proof Complexity to Circuit Complexity via Interactive Protocols
Arxiv
0+阅读 · 5月3日
On the expressive power of inquisitive epistemic logic
Arxiv
0+阅读 · 2023年12月22日
Algebraic and logistic investigations on free lattices
Arxiv
0+阅读 · 2017年11月3日
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
Arxiv
0+阅读 · 2017年11月14日
Fifty Years of the Spectrum Problem: Survey and New Results
Arxiv
0+阅读 · 2009年7月31日
Tracking chains revisited
Arxiv
0+阅读 · 2017年10月5日
A feasible interpolation for random resolution
Arxiv
0+阅读 · 2017年2月1日
参考链接
父主题
计算机科学理论
微信扫码咨询专知VIP会员
Top