Sentence examples for theory logic from inspiring English sources

Thus, FL theory logic provides a mathematical strength to capture the uncertainties associated with human cognitive processes, like thinking and reasoning.

More specifically, abstractionists rely heavily upon an ontology of abstract entities but typically do not provide adequate formal underpinnings for their theories, notably, a formal language, model theory, logic, and a set of axioms.

Program theory (intervention theory, logic modelling) was originally developed to research and evaluate social policies and programs [ 18- 22].

Core components are those that account for the program's effects, according to its theory, logic model, or empirical evidence [ 10, 16].

The HPL's intervention theory (logic model), which formalizes the links between the resources, activities, and objectives of production [ 33], has been evaluated in a previous study using logic analysis [ 27].

Programme theory (intervention theory, logic modelling) has been developed to research and evaluate social policies, programmes and initiatives and it conceptualises outcome as linked to both mechanism and context [ 58- 60].

Free logic has also found application elsewhere most prominently in theories of predication, programming languages, set theory, logics of presupposition (with neutral semantics), and definedness logics.

We included a domain description (eg, 'Rationale linking the intervention to its expected effects'), guide (eg, 'Consider citations of theories, logic models, or existing empirical evidence that link the intervention to its expected effects') and minimum standard for each quality criterion ('Names or describes a rationale linking at least one central intervention component to intended effects').

We study properties of so-called safe inductions and apply our theory to logic programming and autoepistemic logic.

Ulam had a number of specialties, including set theory, mathematical logic, functions of real variables, thermonuclear reactions, topology, and the Monte Carlo theory.

Whereas Frege sank into a deep depression, Russell set about repairing the damage by attempting to construct a theory of logic immune to the paradox.