Propositions in the logical interpretation are now viewed as types, and proofs as programs in the lambda calculus.

Nor does logical interpretation have anything to say about logical connectives like 'and', 'or' and 'not'.

This derivation justifies the so-called "logical" interpretation of probability.

Don't ask me how, but that's the only logical interpretation.

"If he used this method, a logical interpretation is that many others did, too."

Judge Perretti, squinting at the document, said that was the more logical interpretation and asked the doctor if he would withdraw his statement.

The iota set is a finite set of initial points that are called axioms when they receive logical interpretations.

Not one logical interpretation of the scene she'd witnessed reassured her; every extrapolation she worked through had negative connotations.

It is based on fear of an improper use of the European Court, although this is not a logical interpretation.

Yeah, I believe this is correct (it's the most logical interpretation of what I've read about it in other places).