The approximate strong completeness of the hypersequent calculus $\text{GŁ}\forall$
The hypersequent calculus $\text{GŁ}\forall$, an analytic Gentzen-style proof system of first-order Łukasiewicz logic, and its approximate completeness have been extensively studied. In this paper, we prove the approximate strong completeness of $\text{GŁ}\forall$ by a labelled tableau method. Then we introduce a sequent-level cut rule (s-Cut) and show the approximate strong completeness of $\text{GŁ}\forall+(\text{s-Cut})$. As applications, we establish the compactness of approximate $[0, 1]$-consequence, a variant of Gentzen's mid-sequent theorem of $\text{GŁ}\forall$ and an approximate…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.03133
curl -X POST /api/v1/records/arxiv/2606.03133/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.03133/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'