We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.
翻译：我们表明,相关性逻辑的隐含碎片的可探测性在双倍指数时间里是完全的,在矢量添加分解系统中,可以减少或不再具有可覆盖性。
相关内容
Arxiv
0+阅读 · 2022年7月5日
Arxiv
0+阅读 · 2022年7月5日
Arxiv
0+阅读 · 2022年7月3日
Arxiv
1+阅读 · 2022年6月30日
Arxiv
0+阅读 · 2022年6月28日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2022年7月5日
Arxiv
0+阅读 · 2022年7月5日
Arxiv
0+阅读 · 2022年7月3日
Arxiv
1+阅读 · 2022年6月30日
Arxiv
0+阅读 · 2022年6月28日
微信扫码咨询专知VIP会员