Results 111 to 120 of about 696 (191)

Undecidability of Some Substructural Logics

, 2015
This thesis deals with the algorithmic undecidability (unsolvability) of provability in some non-classical logics. In fact, there are two natural variants of this problem.
Chvalovský, Karel
core  

StrucGAP: a modular, streamlined and traceable data mining platform for structural and site-specific glycoproteomics. [PDF]

Nat Commun
Yang M, Wu Y, Zhang Z, Xu Y, Lei T, Wang X, Jin Z, Hou K, Cai Y, Sun S.   +9 more
europepmc   +1 more source

The Tsetlin Machine: A "Third Way" in QSAR Modeling. [PDF]

J Chem Inf Model
Clarke PFA, Cmelo I, Helin R, Shende MK, Granmo OC, Fayne D.   +5 more
europepmc   +1 more source

GLIVENKO THEOREMS FOR SUBSTRUCTURAL LOGICS OVER FL

, 2008
. It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko’s theorem states that a formula is provable in the former iff its double negation is provable in the latter.
Nikolaos Galatos, Hiroakira Ono
core  

A comprehensive evaluation of advanced methods for identifying structural alerts using extensive toxicity data. [PDF]

J Cheminform
Wang NN, He YH, Li XL, Shi SH, Deng YC, Liu S, Cao DS.   +6 more
europepmc   +1 more source

SLICE (SMARTS and Logic In ChEmistry): fast generation of molecules using advanced chemical synthesis logic and modern coding style. [PDF]

J Cheminform
Ilemo SN, Delannée V, Grushin O, Judson P, Patel H, Nicklaus MC, Tarasova NI.   +6 more
europepmc   +1 more source

Focus-preserving embeddings of substructural logics in intuitionistic logic. Draft manuscript, available from http://www.cs.cmu.edu/~fp/papers/ substruct10.pdf

, 2010
We present a method of embedding substructural log-ics into ordinary first-order intuitionistic logic. This em-bedding is faithful in a very strong sense: not only does it preserve provability of sequents under translation, but it also preserves sets of ...
Jason Reed, Frank Pfenning
core  

A comprehensive N-glycoproteome atlas reveals tissue-specific glycan remodeling but non-random structural microheterogeneities. [PDF]

Nat Commun
Wu Y, Yang M, Xu Y, Jia L, Li J, Wang X, Zhao J, Cai Y, Zhang Y, Sun S.   +9 more
europepmc   +1 more source

Naïve validity. [PDF]

Synthese, 2021
Murzi J, Rossi L.
europepmc   +1 more source

Advancing Drug-Drug Interaction Prediction with Biomimetic Improvements: Leveraging the Latest Artificial Intelligence Techniques to Guide Researchers in the Field. [PDF]

Biomimetics (Basel)
Marqas RB, Simó Z, Mousa A, Özyurt F, Iantovics LB.   +4 more
europepmc   +1 more source