Unifying Conservation as Translation for General Calculi
We present an abstract framework for conservation and translation theorems between logical calculi. Unlike previous approaches, our setting does not require the underlying consequence relations to satisfy structural properties such as cut, allowing in particular for cut-free calculi. Moreover, we study translations between arbitrary calculi rather than only from a stable extension to the original calculus. Translations are formulated at the level of sequents by pairs of functions acting on antecedents and succedents, and the framework is developed for multi-succedent calculi while subsuming…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.35727
curl -X POST /api/v1/records/arxiv/2609.35727/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.35727/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'