Results 111 to 120 of about 255 (160)

Chemically gated artificial nanochannels for programmable subcellular signal modulated transport regulation. [PDF]

Nat Commun
Wu MS, Du XC, Zhou ZR, Wang XY, Zheng SY, Lv J, Chen BB, Li DW, Qian RC.   +8 more
europepmc   +1 more source

Exploring the potential of computer simulation models in drug testing and biomedical research: a systematic review. [PDF]

Front Pharmacol
Mittal R, Ho A, Adivikolanu H, Sawhney M, Lemos JRN, Mittal M, Hirani K.   +6 more
europepmc   +1 more source

Artificial Intelligence-Driven Natural Product Discovery for Cancer Metastasis and Chemoresistance: From Computational Prediction to Preclinical Validation. [PDF]

Cancers (Basel)
Hussein MA, Munirathinam G.
europepmc   +1 more source

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

Modal translation of substructural logics [PDF]

Journal of Applied Non-Classical Logics, 2020
In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalizing the well-known Gödel-McKinsey-Tarski translation of intuitionistic logic into {\bf S4}. Došen's translation worked well for (variants of) {\bf BCI} and stronger systems ({\bf BCW}, {\bf BCK}), but not for systems ...
Chrysafis Hartonas
exaly   +4 more sources

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   +3 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   +4 more sources

Substructural Fuzzy-Relevance Logic [PDF]

Notre Dame Journal of Formal Logic, 2015
This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle.
Eunsuk Yang
exaly   +3 more sources

Substructural logic and partial correctness [PDF]

ACM Transactions on Computational Logic, 2003
We formulate a noncommutative sequent calculus for partial correctness that subsumes propositional Hoare Logic. Partial correctness assertions are represented by intuitionistic linear implication. We prove soundness and completeness over relational and trace models.
Jerzy Tiuryn, Dexter Kozen
exaly   +3 more sources