![[2606.03484] Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents](/static/img/curated/desks/afbytes-tech.png)
[2606.03484] Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
Abstract page for arXiv paper 2606.03484: Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents
America Forever Bytes
academic paper · AFBytes
Other
academic paper
Recent coverage