Results 11 to 20 of about 312,323 (264)

When Do We Leave Discourse Relations Underspecified? The Effect of Formality and Relation Type

Discours, 2020
Speakers have several options when they express a discourse relation: they can leave it implicit, or make it explicit, usually through a connective. Although not all connectives can go with every relation, there is one that is particularly frequent and ...
Ludivine Crible, Vera Demberg
doaj   +1 more source

Supragingival microbiome alternations as a consequence of smoking different tobacco types and its relation to dental caries

Scientific Reports, 2022
This study aimed to assess the effect of smoking different tobacco types on the supragingival microbiome and its relation to dental caries. Forty supragingival plaque samples were collected from smokers of a single tobacco type and non-smokers seeking ...
Farah Al-Marzooq, Sausan Al Kawas, Betul Rahman, Jenni A. Shearston, Hiba Saad, Dalenda Benzina, Michael Weitzman   +6 more
doaj   +1 more source

Abductive consequence relations

Artificial Intelligence, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jorge Lobo 0001, Carlos Uzcátegui
openaire   +2 more sources

Defining Cognitive Logics by Non-Classical Tableau Rules

Studies in Logic, Grammar and Rhetoric, 2016
In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj   +1 more source

Reducing Modal Consequence Relations [PDF]

Journal of Logic and Computation, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Obesity and related consequences to ageing [PDF]

AGE, 2016
Obesity has become a major public health problem. Given the current increase in life expectancy, the prevalence of obesity also raises steadily among older age groups. The increase in life expectancy is often accompanied with additional years of susceptibility to chronic ill health associated with obesity in the elderly.
Magdalena, Jura, Leslie P, Kozak
openaire   +2 more sources

Gödelova věta a relace logického důsledku

Teorie vědy, 2010
Gödel’s Incompleteness Theorem and the Relation of Logical Consequence In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a ...
Jaroslav Zouhar
doaj   +1 more source

Two-Variable Logic with Two Order Relations [PDF]

Logical Methods in Computer Science, 2012
It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete.
Thomas Schwentick, Thomas Zeume
doaj   +1 more source

Consequence Relations and Admissible Rules [PDF]

Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source