Results 151 to 160 of about 696 (191)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity

, 2003
Sadrzadeh, Mehrnoosh, Sadrzadeh, M., M. Sadrzadeh, Marion, M., Marion, Mathieu, M. Marion   +5 more
core  

AI-Driven Polypharmacology in Small-Molecule Drug Discovery. [PDF]

Int J Mol Sci
Abdelsayed M.
europepmc   +1 more source

ECBD: European chemical biology database. [PDF]

Nucleic Acids Res
Škuta C, Müller T, Voršilák M, Popr M, Epp T, Skopelitou KE, Rossella F, Stechmann B, Gribbon P, Bartůněk P.   +9 more
europepmc   +1 more source

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

A Substructural Logic for Inconsistent Mathematics

, 2019
A logic for inconsistent mathematics must be strong enough to support reasoning in proofs, while weak enough to avoid paradoxes. We present a substructural logic intended to meet the needs of a working dialetheic mathematician—specifically, by adding a de Morgan negation to light linear logic, and extending the logic with a relevant conditional.
Badia, Guillermo, Weber, Zach
openaire   +5 more sources

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL [PDF]

Studia Logica, 2006
Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and ...
Nikolaos Galatos, Hiroakira Ono, Ono Hiroakira   +2 more
exaly   +2 more sources

Fuzzy logics from substructural perspective [PDF]

Fuzzy Sets and Systems, 2010
Hájek's basic logic BL is an extension of the substructural logic Fl_, or equivalently, Höhle's monoidal logic. Thus, fuzzy logics can be viewed as a special subclass of substructural logics.
Tomasz Kowalski, Hiroakira Ono
exaly   +2 more sources

Substructural Logics for Pooling Information

, 2017
This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states.
Vít Puncochár, Igor Sedlár
openaire   +2 more sources