会员服务
Computing with Infinite Objects: the Gray Code Case
Arxiv
0+阅读 · 2023年4月21日
The ERA of FOLE: Foundation
Arxiv
0+阅读 · 2023年4月19日
Using large language models for (de-)formalization and natural argumentation exercises for beginner's students
Arxiv
0+阅读 · 2023年4月12日
Circular (Yet Sound) Proofs
Arxiv
0+阅读 · 2023年4月9日
Topological Duality for Distributive Lattices: Theory and Applications
Arxiv
0+阅读 · 2023年4月5日
Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic
Arxiv
0+阅读 · 2023年3月28日
Defining Logical Systems via Algebraic Constraints on Proofs
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top