Results 221 to 230 of about 312,323 (264)

‘Transitivity’ of Consequence Relations

2015
A binary relation R on a set S is transitive iff for all a, b, c ∈ S, if aRb and bRc, then aRc. This almost never applies to the relations logicians tend to think of as consequence relations; where such relations are relations on a set at all, they are rarely transitive.
openaire   +1 more source

Opioids and Respiratory Related Consequences

Sleep Medicine Clinics
Opioids are widely used in acute and chronic pain management, but have significant respiratory effects that pose risks, especially in hospital settings. Opioid-induced respiratory depression occurs with opioids suppress the body's respiratory rate and response to CO2, leading to life-threatening gas exchange impairment.
Jeremy E, Orr, Deanna, Hill, Robert L, Owens   +2 more
openaire   +2 more sources

Consequences of assuming a universal relation

ACM Transactions on Database Systems, 1981
Although central to the current direction of dependency theory, the assumption of a universal relation is incompatible with some aspects of relational database theory and practice. Furthermore, the universal relation is itself ill defined in some important ways. And, under the universal relation assumption, the decomposition approach to database design
openaire   +1 more source

Similarity-based consequence relations

1995
This paper offers a preliminary investigation of consequence relations which make sense in a logic of graded similarity, and their application to interpolative reasoning.
Didier Dubois, Francesc Esteva, Pere Garcia, Lluís Godo, Henri Prade   +4 more
openaire   +1 more source

Fixed Points for Consequence Relations

Logique et Analyse, 2014
This paper provides a way of dealing with paradoxes associated with consequence relations via a generalisation of Kripke's fixed point technique. In particular, we focus on Beall and Murzi's paradox, although the framework outlined should have more general application.
openaire   +4 more sources

The Second Riddell Relation and Its Consequences

Journal of Applied and Industrial Mathematics, 2018
Summary: The second Riddell relation relates the generating functions for the number of labeled connected graphs and the number of labeled blocks. We consider the conditions under which this relation is true for a subclass of connected graphs. Under these conditions, the formulas are valid that express the number of graphs from a subclass of labeled ...
openaire   +1 more source

A Proof of the Characterization Theorem for Consequence Relations

Mathematical Logic Quarterly, 1991
.
openaire   +2 more sources

Age-Related Consequences of Childhood Obesity

Gerontology, 2014
The severity and frequency of childhood obesity has increased significantly over the past three to four decades. The health effects of increased body mass index as a child may significantly impact obese youth as they age. However, many of the long-term outcomes of childhood obesity have yet to be studied.
Megan M, Kelsey, Alysia, Zaepfel, Petter, Bjornstad, Kristen J, Nadeau   +3 more
openaire   +2 more sources

Extension of PDL and consequence relations

1985
Most of the deduction algorithms are of the form of regular expressions. To investigate some properties of these deductions we introduce an extension of PDL with propositional constants and infinite conjunctions and disjunctions. We treat the formulas of the object logical language for which the deductions are as propositional variables, the sets of ...
openaire   +1 more source

Supraclassical Consequence Relations

2013
We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the rational consequence relations of nonmonotonic logic, as well as introducing new kinds of entailment with a diversity of potential ...
Willem Labuschagne, Johannes Heidema, Katarina Britz   +2 more
openaire   +1 more source