Results 91 to 100 of about 222 (135)

FOCUS on NOD2: Advancing IBD Drug Discovery with a User-Informed Machine Learning Framework. [PDF]

ACS Med Chem Lett
Choudhary R, Mahadevan R.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Combinatory Logic and the Semantics of Substructural Logics

Studia Logica, 2007
In his earlier paper ``Combinator logics'' [ibid. 76, No. 1, 17--66 (2004; Zbl 1054.03019)] the author extended the positive relevance logic Bo, with and, or and o (fusion) by o-axioms related to the reduction rules of a set of combinators. He then extended the Routley-Meyer semantics to this extended logic.
Goble Lou
exaly   +3 more sources

Substructural epistemic logics

Journal of Applied Non-Classical Logics, 2015
The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics (implicit belief) with distributive substructural logics (available evidence). Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point ...
Igor Sedlar
exaly   +2 more sources

Current Trends in Substructural Logics

Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Katalin Bimbo, Bimbo Katalin
exaly   +3 more sources

Algebraic Perspectives on Substructural Logics

Trends in Logic, 2021
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions ...
Davide Fazio, Antonio Ledda, Francesco Paoli   +2 more
exaly   +3 more sources

Substructural Propositional Dynamic Logics

Lecture Notes in Computer Science, 2019
We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek Calculus. Extensions of the result to stronger substructural logics are briefly discussed.
Igor Sedlar, Sedlar Igor
exaly   +2 more sources

A Useful Substructural Logic

Logic Journal of IGPL, 1994
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire   +2 more sources

UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

The Review of Symbolic Logic, 2014
AbstractUniform interpolation property of a given logic is a stronger form of Craig’s interpolation property where both pre-interpolant and post-interpolant always exist uniformly for any provable implication in the logic. It is known that there exist logics, e.g., modal propositional logic S4, which have Craig’s interpolation property but do not have ...
Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono   +2 more
openaire   +1 more source

Metacompleteness of Substructural Logics

Studia Logica, 2012
The paper studies the extensions of the logic \(\mathbf{FL}\) -- the logic of full Lambek calculus. A logic \(L\) is said to enjoy the disjunction property if the fact that \(\alpha \lor \beta\) is a theorem of \(L\) entails that \(\alpha\) or \(\beta\) is a theorem of \(L\).
openaire   +1 more source