The ten thralls answered him with one mouth and in sequent words, saying, Whatso thou biddest us.    From Wordnik.com.  [The Book of The Thousand Nights And A Night] Reference

Takeuti found an elegant sequent formulation of simple type theory.    From Wordnik.com.  [Type Theory] Reference

One sequent showing a restrained prisoner hitting his head against a door.    From Wordnik.com.  [CNN Transcript Feb 15, 2006] Reference

Every body know their truth by sequent 12 on Thursday, Sep 3, 2009 at 2: 00: 12 AM.    From Wordnik.com.  [Everybody Here Already Knows the Truth. Right?] Reference

Ketonen wanted to formulate Skolem's formal rules of proof within sequent calculus.    From Wordnik.com.  [Chores] Reference

With Kleene's book, Gentzen's sequent calculi became generally known and accessible.    From Wordnik.com.  [Chores] Reference

The contraction-free sequent calculi are powerful tools for the analysis of formal derivations.    From Wordnik.com.  [Chores] Reference

The methods of sequent calculus, especially, permit the analysis of proofs with profound results.    From Wordnik.com.  [Chores] Reference

Inside the magazine, she is shown wearing a range of outfits, including a sequent top and leather pants.    From Wordnik.com.  [CNN Transcript Sep 8, 2009] Reference

Kleene's work of the early 1950's also pioneered a remarkable development in sequent calculus, namely the.    From Wordnik.com.  [Chores] Reference

Though one room so involves the fact that I can see, touch, taste and hear you, with the sequent fictions.    From Wordnik.com.  [POEMS BY MICHAEL LONGLEY, 1963-1966] Reference

Being; they know nothing of past and sequent; all is an unbroken state of identity, not receptive of change.    From Wordnik.com.  [The Six Enneads.] Reference

Ketonen's proof of invertibility of the logical rules of his sequent calculus used the structural rule of cut.    From Wordnik.com.  [Chores] Reference

Though the wisdom of nature can reason it thus and thus, yet nature finds itself scourged by the sequent effects.    From Wordnik.com.  [Shakespeare]

A cut with such a sequent as one premiss has the other premiss equal to the conclusion and can therefore be deleted.    From Wordnik.com.  [Chores] Reference

The sequents above a rule's line are called the rule's premises and the sequent below the line is the rule's conclusion.    From Wordnik.com.  [Automated Reasoning] Reference

The use of sequent-type calculi in automated theorem proving was initiated by efforts to mechanize mathematics (Wang 1960).    From Wordnik.com.  [Automated Reasoning] Reference

Here is his scornful dissection, when he is alone onstage, of his father's gabble about eclipses and their 'sequent effects'.    From Wordnik.com.  [Shakespeare]

All, then, is antecedent and resultant, each sequent becoming in turn an antecedent once it has taken its place among things.    From Wordnik.com.  [The Six Enneads.] Reference

For finitely valued systems, particularly m-valued ones, there are also sequent calculi which work with generalized sequents.    From Wordnik.com.  [Many-Valued Logic] Reference

Eventually, sequent-type deduction gained momentum again, particularly in its re-incarnation as analytic tableaux (Fitting 1990).    From Wordnik.com.  [Automated Reasoning] Reference

A remarkable step ahead in the development of systems of sequent calculus was taken by Oiva Ketonen in his doctoral thesis of 1944.    From Wordnik.com.  [Chores] Reference

One is to directly implement the intuitionistic versions of Gentzen's sequent and natural deduction calculi, LJ and NJ respectively.    From Wordnik.com.  [Automated Reasoning] Reference

Britons, both together, there were vastly fewer who sighed their last beside the Modder River banks than the sequent fever claimed at.    From Wordnik.com.  [With the Guards' Brigade from Bloemfontein to Koomati Poort and Back] Reference

Many of the obstacles that were discussed above in the implementation of sequent deduction are applicable to natural deduction as well.    From Wordnik.com.  [Automated Reasoning] Reference

L2 is presented through a syntactical proof system, such as a natural deduction system, sequent calculus or a Hilbert-style axiomatization.    From Wordnik.com.  [Combining Logics] Reference

For instance, how could one combine a logic L1, defined by a sequent calculus, with a logic L2, represented by a (Hilbert-style) axiomatic system?.    From Wordnik.com.  [Combining Logics] Reference

Thus we come, once more, to a Being above the Intellectual-Principle and, since the sequent amounts to no less than the All, we recognise, again, a.    From Wordnik.com.  [The Six Enneads.] Reference

However, Ketonen's work was mostly known only through its review by Bernays and only the logical part on sequent calculus was explained in detail there.    From Wordnik.com.  [Chores] Reference

Proofs in LK are represented as trees where each node in the tree is labeled with a sequent, and where the original sequent sits at the root of the tree.    From Wordnik.com.  [Automated Reasoning] Reference

She doubted the convenience and, as a natural sequent, the sanctity of the monogamous and separate home which she had regarded as the basis of all decent life.    From Wordnik.com.  [Main Street] Reference

Gentzen seems not to have noticed the latter, but seems to have thought rather the contrary, by the failure of this property for the elimination of cuts in sequent calculus.    From Wordnik.com.  [Chores] Reference

Virginia produced the sequent sentence, likewise weighty.    From Wordnik.com.  [One of Our Conquerors — Complete] Reference

"What a lovely garden this is!" remarked Donal after the sequent pause.    From Wordnik.com.  [Donal Grant, by George MacDonald] Reference

Still, his remarks reverberated, and his sub - sequent statements didn't help.    From Wordnik.com.  [BusinessWeek.com --] Reference

His voyage was the next Portuguese step sequent upon that of Bartholomew Dias.    From Wordnik.com.  [The Discovery of America Vol. 1 (of 2) with some account of Ancient America and the Spanish Conquest] Reference

Wud be prudent to exit short n sell again on sub sequent recovery as 135.10/20 shud limit upside.    From Wordnik.com.  [FXstreet.com] Reference

Lower, come the opposing curves in the two boats, the whole forming one group of sequent lines up the whole side of the picture.    From Wordnik.com.  [The Harbours of England] Reference