Results 91 to 100 of about 2,358 (145)
Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction. [PDF]
Boniolo G, D'Agostino M, Di Fiore PP.
europepmc +1 more source
Structure-based classification and ontology in chemistry. [PDF]
Hastings J +6 more
europepmc +1 more source
CELDA -- an ontology for the comprehensive representation of cells in complex systems. [PDF]
Seltmann S +8 more
europepmc +1 more source
Heating conversion of indole-3-carbinol into N-substituted oligomers with anti-melanoma effect. [PDF]
Qian JC, Zhang HP, Wang Y, Liu D.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Substructural epistemic logics
Journal of Applied Non-Classical Logics, 2015The 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 Sedlár
exaly +2 more sources
Modal translation of substructural logics [PDF]
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 +3 more sources

