Sentence examples for extending tableau from inspiring English sources

These natural deduction and Gentzen systems can be extended with additional proof-rules corresponding to first-order conditions on the accessibility relations expressed by so-called geometric theories (this is of course analogous to extending tableau and axiom systems with pure axioms).

This paper advances the design of a unified model for the representation of search in first-order clausal theorem-proving, by extending to tableau-based subgoal-reduction strategies (e.g., model-elimination tableaux), the marked search-graph model, already introduced for ordering-based strategies, those that use (ordered) resolution, paramodulation/superposition, simplification, and subsumption.

We propose an alternative procedure by extending the Butcher Tableau to overcome this specific difficulty and achieve fourth-, sixth- or eighth-order of accuracy schemes in space and time.

We propose a generic tableau prover extending Lotrec, called LotrecScheme: the tool enables to enrich tableau method rules with executable code.

The ballerinas brought to life the enchanting movements of Degas' dancers by imitating and extending their poses in a series of surreal tableaus, costumed in replica nineteenth century tutus and slippers.

This list can be extended with Cytoscape [19], Tableau [20], Data Wrangler [21] and others.

The paper Blackburn (2000) introduces a tableau system for hybrid logic that has this desirable feature: Analogous to the axiom system of Blackburn and Tzakova (1999), completeness is preserved if the tableau system is extended with a set of pure axioms, that is, a set of pure formulas that are allowed to be added to a tableau during the tableau construction.

A field of soybeans extends as far as the eye can see; against it, an allegorical tableau, in Rockman's words, "the way humans have altered their landscape".

This thing extends and extends".

Slatin: And extend and extend.

Jackman extended.