Sequent in a sentence as an adjective

Staring at this until my brain goes fuzzy, but it looks like a kind of sequent calculus.

Sort of like a sequent calculus without the logic backtracking.

This interests me a great deal:"Qi makes use of the logical notation of sequent calculus to define types.

That said, the sequent calculus can be viewed as an implementation detail, I don't believe it's integral to the use of Shen.

I'm advocating something that typeclasses, sequent calculus, contracts, etc. could be built on.

I have trouble seeing how Qi is interesting except for sequent calculus and that in and of itself has disturbing practical implications.

Sequent definitions

adjective

in regular succession without gaps; "serial concerts"

See also: consecutive sequential serial successive

adjective

following or accompanying as a consequence; "an excessive growth of bureaucracy, with attendant problems"; "snags incidental to the changeover in management"; "attendant circumstances"; "the period of tension and consequent need for military preparedness"; "the ensuant response to his appeal"; "the resultant savings were considerable"

See also: attendant consequent accompanying concomitant incidental ensuant resultant