Results 91 to 100 of about 2,358 (145)

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

open access: yesJ Cheminform, 2012
Hastings J   +6 more
europepmc   +1 more source

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

open access: yesBMC Bioinformatics, 2013
Seltmann S   +8 more
europepmc   +1 more source
Some of the next articles are maybe not open access.

Related searches:

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 Sedlár
exaly   +2 more sources

Modal translation of substructural logics [PDF]

open access: yesJournal 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   +3 more sources

Home - About - Disclaimer - Privacy