https://9pdf.org/document/y96386ld-a-sequent-calculus-for-signed-interval-logic.html