Results 141 to 150 of about 884 (194)

Structure-based classification and ontology in chemistry. [PDF]

J Cheminform, 2012
Hastings J, Magka D, Batchelor C, Duan L, Stevens R, Ennis M, Steinbeck C.   +6 more
europepmc   +1 more source

CELDA -- an ontology for the comprehensive representation of cells in complex systems. [PDF]

BMC Bioinformatics, 2013
Seltmann S, Stachelscheid H, Damaschun A, Jansen L, Lekschas F, Fontaine JF, Nguyen-Dobinsky TN, Leser U, Kurtz A.   +8 more
europepmc   +1 more source

Classical Core Logic, Relevance, and Substructurality [PDF]

Pierre Saint‐Germier, Peter Verdée
openalex  

Glueing of Algebras for Substructural Logics(Non-Classical Logics and Their Kripke Semantics)

, 1995
Hiroyuki Shirasu
openalex   +1 more source

Labelled Tableau Calculi Generating Simple Models for Substructural Logics

, 1999
In this paper we apply the methodology of Labelled Deductive Systems to the tableau method in order to obtain a deductive framework for substructural logics which incorporates the facility of model generation.
Kazushige Terui
core  

Dynamic Epistemic Logic as a Substructural Logic

, 2014
Guillaume Aucher
openalex   +2 more sources

Heating conversion of indole-3-carbinol into N-substituted oligomers with anti-melanoma effect. [PDF]

Food Chem X
Qian JC, Zhang HP, Wang Y, Liu D.
europepmc   +1 more source

Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications)

, 1995
Motohiko Mouri
openalex   +1 more source