Sentence examples for schroeder from inspiring English sources

Schroeder (2008b, 2008c) dubs the distinction between inconsistencies that involve one attitude-type directed towards inconsistent contents, A-type inconsistencies and contrasts them with B-type inconsistencies which postulate inconsistencies that stem from incoherences between the attitude types in conjuction with their contents.

Will history be kinder to Bush and Blair than to Chirac and Schroeder?

This was possible, says Mr Schroeder, because his firm's edge is not only based on cheap labour, though labour costs make up 18% of his total, compared with perhaps 55% at American counterparts.

There are New Baden, New Braunfels (named after its founder, Prince Carl von Solms-Braunfels), New Salem and New Ulm, not to mention Schertz, Schuler, Schroeder, Schulenberg and Schwertner.

Far better, says Ms Schroeder, to boost the court's staffing.

As Ms Schroeder remarks, he "was giving away his money without leaving a trace of himself behind...no Buffett hospital wing, no college or university endowment or building with his name on it".

A VETERAN of the second world war, Hanns Christian Schroeder-Hohenwarth still has an office at BHF-Bank, once one of Germany's pre-eminent banks, which he chaired until 1992.

For inversion principles see Schroeder-Heister (2007).

So Sambin et al. use the same starting point as Došen, but interpret it not as a structural description of the behaviour of constants, but semantically as their implicit definition (see Schroeder-Heister, 2012b).

And the deduction theorem can be viewed as the means of establishing a rule: Having shown that B can be deduced from A justifies the rule that from A we may pass over to B. A rule-based semantics of implication along such lines underlies several conceptions of proof-theoretic semantics, notably those by Lorenzen, von Kutschera and Schroeder-Heister.

For Prawitz's definition of proof-theoretic validity see Schroeder-Heister (2006).