Results 31 to 40 of about 89,422 (259)

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

ORDERING CATACONDENSED HEXAGONAL SYSTEMS WITH RESPECT TO VDB TOPOLOGICAL INDICES

Revista de Matemática: Teoría y Aplicaciones, 2017
In this paper we give a complete description of the ordering relations in the set of catacondensed hexagonal systems, with respect to a vertex-degree-based topological index. As a consequence, extremal values of vertex-degree-based topological indices in
Juan Rada
doaj   +1 more source

The contact theorem and sum rules in the theory of electrical double layer

Condensed Matter Physics, 2005
The specific sum rules in the theory of electrical double layer are formulated as the consequence of contact theorem. They concern the correlation functions of electrolyte when one ion is located on the surface.
M.F.Holovko, J.P.Badiali
doaj   +1 more source

The Czech - Slovak Relationships in the School Policy in the Years Of 1918-1939 and the Personnel Issue

Communications, 2014
Czech-Slovak relations are an important component in the history of our nations. In the historical context they were developed actively in the 1920´s. The relations at these levels were mutually influenced and brought about several positive elements to ...
Jarmila Zacharova
doaj   +1 more source

Is executive dysfunction a risk marker or consequence of psychopathology? A test of executive function as a prospective predictor and outcome of general psychopathology in the adolescent brain cognitive development study®

Developmental Cognitive Neuroscience, 2021
A general psychopathology (‘p’) factor captures shared variation across mental disorders. One hypothesis is that poor executive function (EF) contributes to p.
Adrienne L. Romer, Diego A. Pizzagalli
doaj   +1 more source

Crise e castigo: as relações Brasil-África no governo Sarney Crisis and punishment: the Brazil-Africa relations in the government Sarney

Revista Brasileira de Política Internacional, 2008
Este artigo analisa as relações político-comerciais Brasil-África no governo Sarney, procurando demonstrar que as mudanças observadas no sistema internacional e na realidade doméstica afetaram diretamente a condução da política externa brasileira e, por ...
Cláudio Oliveira Ribeiro
doaj   +1 more source

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source

Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic

Bulletin of the Section of Logic
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable in polynomial
Paweł Płaczek
doaj   +1 more source

Probabilistic consequence relations

Journal of Logic and Computation
Abstract This paper investigates logical consequence defined in terms of probability distributions, for a classical propositional language using a standard notion of probability. We examine three distinct probabilistic consequence notions, which we call material consequence, preservation consequence and symmetric consequence.
Égré, Paul, Ripley, Ellie
openaire   +3 more sources

Individuals with Multi‐Joint Osteoarthritis Demonstrate Larger Longitudinal Declines in Frailty: Data from the Canadian Longitudinal Study on Aging

Arthritis Care &Research, Accepted Article.
Objective Test the hypothesis that multi‐joint osteoarthritis would modify the relation between time and frailty progression, where more affected joints would lead to larger declines over 6‐years compared to those without osteoarthritis using data from the Canadian Longitudinal Study on Aging.
Carson Halliwell, Rebecca Moyer, Myles W. O'Brien   +2 more
wiley   +1 more source