Generalizes prior ordered logic work with adjoint modalities for fine-grained structural properties including weakening, contraction, and mobility, proving cut elimination and decidable proof checking in sequent and natural deduction calculi.
Michele Abrusci and Paul Ruet
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Ordered Adjoint Logic (Extended Version)
Generalizes prior ordered logic work with adjoint modalities for fine-grained structural properties including weakening, contraction, and mobility, proving cut elimination and decidable proof checking in sequent and natural deduction calculi.