Sentence examples for in terms of proof from inspiring English sources

Others may be calibrated in terms of "proof " of an alcohol solution or in terms of the percentage of sugar in a sugar solution.

In this sense proof-theoretic semantics is semantics in terms of proof.

Note that these explanations are not in terms of proof conditions, but of assertion conditions.

In particular, those anti-Realists who take logical consequence to be defined in terms of proof (such as Michael Dummett) reject a multiple conclusion analysis of logical consequence.

"Realists" typically prefer explaining logical consequence in terms of truth in models, and "Anti-realists" typically prefer explaining logical consequence in terms of proof.

This method is proven to be asymptotically optimal among brute-force strategies in terms of proof length, space and time [4].

In terms of proof-of-concept the team has run current through a 3D-printed skein of Vegemite wires and it seems to work just fine.

Much research has focused on inorganic nanowires, both in terms of proof-of-principle optoelectronic devices like LEDs [6], lasers [7], and photodetectors [8] and also in terms of large-scale integration methods such as transfer printing [9] and in situ growth [10].

Both aspects of proof-theoretic semantics can be intertwined, i.e. the semantics of proofs is itself often given in terms of proofs.

Twentieth Century technical work on the notion of logical consequence has centered on two different techniques, one explaining the notion in terms of proofs and the other via models.

Torrey told me that Connecticut's laws are so restrictive in terms of the proof required to get someone committed that Adam Lanza's mother would probably not have been able to get him help even if she had tried.