Sentence examples for language such that from inspiring English sources

Thus, the logic obtained by this second kind of fibring is defined in a language such that some connectives of L1 and L2 are identified.

A set S is definable in the language of arithmetic if there is a formula A x) in the language such that A(n) is true in the standard structure of natural numbers (the intended interpretation) if and only if n ∈ S.

Wilson, M. Burnett, L. Beckwith, O. Granatir, L. Casburn, C. Cook, M. Durham, G. Rothermel, Harnessing curiosity to increase correctness in end-user programming, Proceedings of the CHI 2003 2003305 312]312] (which were shown to help end-user debuggers learn about and use debugging features of our programming language) such that they were more intense (larger, blinking, and/or accompanied by text).

The computer program's success in passing the Turing test owed significantly to his creators' decision to make him appear like a child using English as a second language, such that gaps in his knowledge or eloquence could be read by judges as human mistakes.

I spoke to Rep. Sandy Levin (D-MI) about this -- a trusted voice on trade issues -- and he believes the deal contains language such that if Vietnam did not have independent unions in five years, some of the benefits of the deal would be withdrawn.

Through a series of screen displays, well balanced information is presented systematically in simplified language, such that it is easy for the subject to comprehend.

What has been constructed is a sequence L0, L1, L2,… of partially interpreted languages such that T is interpreted in Lα+1 as the truth predicate for Lα.

It is often framed in language such as that used last week by the deputy prime minister, Nick Clegg, who said Isis was "medieval".

These forms of antirealism rely upon discredited doctrines about scientific language, such as that it can be divided into theoretical and observational parts, and that much of it should not be taken literally.

Recommendations included replacing terms like "false negatives" with plain language such as, "results that say you don't have cancer when you actually do".

One example is when software is written in a language such as C/C++ that must be 'compiled' to generate platform-specific executable files.