会员服务
Uniform interpolation with constructive diamond
Arxiv
0+阅读 · 2月18日
Expressive Power of Graph Transformers via Logic
Arxiv
0+阅读 · 2月18日
Reintroducing the Second Player in EPR
Arxiv
0+阅读 · 2月18日
Craig Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 2月17日
Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces
Arxiv
0+阅读 · 2月16日
Uniform Interpolation
Arxiv
0+阅读 · 2月10日
Locality in Residuated-Lattice Structures
Arxiv
0+阅读 · 1月26日
Locality in Residuated-Lattice Structures
Arxiv
0+阅读 · 1月28日
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
Arxiv
0+阅读 · 1月13日
Interpolation with Automated First-Order Reasoning
Arxiv
0+阅读 · 1月9日
Craig Interpolation for HT with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 1月7日
Modelling of logical systems by means of their fragments
Arxiv
0+阅读 · 2025年12月29日
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
Arxiv
0+阅读 · 2025年12月29日
The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems
Arxiv
0+阅读 · 2025年11月21日
Computing with Infinite Objects: the Gray Code Case
Arxiv
0+阅读 · 2023年4月21日
参考链接
微信扫码咨询专知VIP会员
Top