Results 111 to 120 of about 2,597 (173)

NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES

, 2013
Petr Cintula, Rostislav Horčı́k, Carles Noguera   +2 more
openalex   +2 more sources

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

A substructural epistemic resource logic: theory and modelling applications [PDF]

, 2019
Didier Galmiche, Pierre Kimmel, David Pym   +2 more
openalex   +1 more source

Powers and limitations of Urquhart-style semantics I: basic substructural logics

Eunsuk Yang
openalex   +2 more sources

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

, 1995
Hiroyuki Shirasu
openalex   +1 more source

${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ Are Substructural Fuzzy Logics

, 2018
SanMin Wang
openalex   +2 more sources

Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic

, 2005
Jason Reed, Frank Pfenning
openalex   +2 more sources

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