Sentence examples for context of the logic from inspiring English sources

Perhaps the most difficult step in assessing the utility of economic techniques of statecraft is setting such assessments in the context of the logic of choice.

A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.

On the logical level, we investigate groundedness in the context of logic programming, autoepistemic logic, default logic and argumentation frameworks.

So, in the context of the inductive logic of support functions the likelihoods are always defined, and the qualifying clause about this in the General Law of Likelihood is automatically satisfied.

There has recently been an effort to bridge the two traditions of dialogical logic, especially in the context of the logical analysis of legal and more generally nonmonotonic reasoning.

For a description of these principles in the context of intuitionistic logic, the reader may wish to consult sections 4.2 and 5.2 of the entry on intuitionistic logic or Troelstra and van Dalen's Constructivism in Mathematics (Troelstra and van Dalen 1988).

This work is especially well-known, in the context of temporal logic, for introducing the distinction between the "A-series" and the "B-series".

As is the case in the context of substructural logics, the notion of proof in a given dialogue system is determined by the structural rules.

In contrast to the AI researcher's problem, the philosopher's question isn't expressed in the context of formal logic, and doesn't specifically concern the non-effects of actions.

The characteristic theses of the Tractatus result from thinking through the consequences of this, in the context of Fregean logic.

Using these ideas, we introduce a new definition of logical consequence in the context of active logic, as well as a new definition of soundness such that, when reasoning with consistent premises, all classically sound rules remain sound in our new sense.