Sentence examples for closure operator from inspiring English sources

A fuzzy closure operator.

The additional operator ¬~ is a closure operator.

See also [Foulis and Randall, 1987] are respectively a closure operator on ℘ and an interior operator on ℘(X).

For these logics, ◊ corresponds to the closure operator in a topological space, while □ corresponds to the interior.

In topology the operation that sends a subset of a topological space to its topological closure is a closure operator.

To this approach, we propose a equivalence relation on constrained rule set based on the closure operator [26].

Abstract consequence operations are known as closure operators in universal algebra and lattice theory, for instance.

Closure operations as defined in the opening section are sometimes called closure operators.

Finally, attribute reduction is equivalently formulated with rank functions and closure operators of matroids.

In order to characterize additional classes, other means of extending the expressive capacity of first-order logic must be considered such as adding least fixed point or transitive closure operators.

In this vein, one widely held view, due to Kamp (1981) and Heim (1982), is that we could regard indefinite descriptions as expressions containing free variables which are bound by adverbs of quantification (in the sense of Lewis (1975)) interpreted as existentially quantified by the model theory, or perhaps bound by implicit existential closure operators (Diesing 1992).