Sentence examples for formal notions from inspiring English sources

They show him grappling with formal notions of structure and thematic development, and seeking a balance between the precisely defined gestures of composed music and the freedom and spontaneity of improvisation.

The court says that if the extraterritorial applicability of the Suspension Clause turned on formal notions of sovereignty, "it would be possible for the political branches to govern without legal constraint" in areas beyond the sovereign territory of the United States.

The main formal notions of the RTT are the notion of a revision rule (Definition 3.2), i.e., a rule for revising hypotheses; and a revision sequence (Definition 3.7), a sequence of hypotheses generated in accordance with the appropriate revision rule.

Efforts to study these instabilities and mixing layers using group-theoretic ideas, as well as more formal notions of turbulence cascade processes during the later stages of the induced mixing layers, are inspected.

Yet more recent studies suggest that these formal notions of tolerable risk may not be shared by the local population or even the local government (Haynes et al. 2008).

2. This sentence may be seen to formalize a well-known metatheorem about well-behaved sequent and consecution calculi — without explicating some of the technical details. 3. The formal notions of algorithms, computable functions and alike had not yet been formulated at the time when Schönfinkel published his paper.

To this end, we exploit a variant of the formal notion of simulation to formally capture the notion of "mimicking", and we show that the technique proposed is sound and complete, optimal with respect to computational complexity, and robust for different kind of system failures.

When talking politics, however, the French, like the Americans, tend to go for the more formal notion of justice.

The Church-Turing thesis asserts that the informal notion of calculability is completely captured by the formal notion of recursive functions and hence, in theory, replicable by a machine.

This formal notion is then to be used to provide a formal semantics for S5.

In this paper we study a formal notion of knowledge forgetting in S5 modal logic.