6 example sentences using sequent.
Sequent used in a sentence
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
in regular succession without gaps; "serial concerts"
See also: consecutive sequential serial successive
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