Sentence examples for weak logic from inspiring English sources

Of course, this delivers particularly anarchic worlds, not closed under any notion of logical consequence, and not structured as the interpretations of any (however weak) logic.

Brennan has a bright, pugilistic style, and he takes a sportsman's pleasure in upsetting pieties and demolishing weak logic.

Both officers' weak logic, not surprisingly, led to weak arguments.

All that taken into consideration, we wanted to put the question to you: which is worse, Daniel Tosh making a joke about rape, or an elected politician saying that there is such a thing as "legitimate rape" and using that weak logic -- and bad science -- as rationale for public policy decisions?

LG is a weaker logic than CNL, the Classical Non-Associative Lambek Calculus of de Groote and Lamarche 2002.

Such responses opt for a weaker logic that avoids (at least) the transitivity of the accessibility relation between possible worlds.

This is particularly true when working with theories which are based on a weaker logic than the classical one, for which a deeper, more precise insight is mandatory.

In fact, as is well known, systems based on a "weaker" logic have the ability to distinguish between statements which are equivalent from the point of view of a "stronger" logic.

Simply by adding reflexivity of the accessibility relation \(\mathcal{R}\) to the conditions for a model in Section 3.1, one gains the validity of \ tX \rightarrow X\) for every \(t\) and \(X\), and obtains a semantics for \(\mathsf{JT}\), the justification logic analog of the modal logic \({\textsf{T}}\), the weakest logic of knowledge.

This illustrates the advantages of using category theory and its tools for defining combination procedures as universal constructions: the same construction (in this case, algebraic fibring) can be performed in categories of logic systems with different features obtaining, as a consequence of this, stronger or weaker logic systems.

Kripke's construction can be applied to a number of different logics, including other many-valued logics such as the 'Weak Kleene' logic, and supervaluation logics.