Sentence examples for logical domain from inspiring English sources
The set of truth values may be regarded as forming another such subdomain, namely the one of logical values, and logic as a branch of science rests essentially on this logical domain and on exploring its features and regularities.
Regarding inference, the divergences of interpretation concern the logical domain rather than the epistemological one.
In this study, we present a methodology that can be used to express a given automaton in logical domain.
The proposed adaptive mesh methods transform a uniform mesh in the logical domain to cluster grid points at the regions of the physical domain where the solution or its derivative is singular or nearly singular.
Robust and clear logical languages allow us to axiomatically reconstruct theories, which by the Syntacticists' definition are sets of sentences in a given logical domain language (e.g., Campbell 1920, 122; Hempel 1958, 46; cf. Carnap 1967 [1928], §156, "Theses about the Constructional System").
Understanding simple regulation, the basic building block of gene networks, in continuous (physical) domain is helpful for appreciating gene networks modeled in logical domain.
In some cases it may be useful to represent a problem in many logical domains, since they provide different perspectives for addressing formal verification.
With this we can verify basic properties of our specification, and then use the existent connections between logical domains within Hets for broadening the spectrum of domains in which complementary verification properties can be addressed.
Solutions supporting multiple source domains enabling the splitting of larger source domains into smaller domains to more easily discriminate against unrelated source data are a logical area for continued research.
A bridge connects two different logical bus domains with an upstream and a downstream port.
The first paper connects the strategic ideas of McCarthy & Hayes 1969 with the need for a nonmonotonic logic, and sketches the logical ideas of domain circumscription, which is now classified as the simplest case of circumscription.
