Results 31 to 40 of about 104,670 (289)

Disjunctive Multiple-Conclusion Consequence Relations [PDF]

, 2019
The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion ...
Nowak, Marek
core   +1 more source

An Elementary Proof of the Characterization Theorem for Conjunctive Multiple-Conclusion Consequence Relations

Bulletin of the Section of Logic
We give a characterization theorem for multiple-conclusion consequence relations with the conjunctive reading of conclusions. As in the case of disjunctive multiple-conclusion consequence relations, we define consequence relations in terms of sets of ...
İskender Taşdelen
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

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

MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis

FEBS Open Bio, EarlyView.
MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss, Ao Li, Eduardo H. Gilglioni, Mayank Bansal, Sumeet Pal Singh, Latifa Bakiri, Alessandra K. Cardozo, Esteban N. Gurzov   +7 more
wiley   +1 more source