TY  - RPRT
TI  - The approximate strong completeness of the hypersequent calculus $\text{GŁ}\forall$
AU  - Kai Duo
PY  - 2026
UR  - https://arxiv.org/abs/2606.03133
ID  - 2606.03133
ER  -