Results 101 to 110 of about 2,597 (173)

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Semilinear substructural logics with the finite embeddability property [PDF]

, 2016
San-Min Wang
openalex   +1 more source

Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics [PDF]

, 2018
SanMin Wang
openalex   +1 more source

On Sahlqvist Formulas in Relevant Logic. [PDF]

J Philos Logic, 2018
Badia G.
europepmc   +1 more source

Enhancing property and activity prediction and interpretation using multiple molecular graph representations with MMGX. [PDF]

Commun Chem
Kengkanna A, Ohue M.
europepmc   +1 more source

Dynamic Epistemic Logic as a Substructural Logic

, 2014
Guillaume Aucher
openalex   +2 more sources

On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics [PDF]

, 2009
Takeshi Ueno, Koji Nakatogawa, Osamu Watari   +2 more
openalex   +1 more source

Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction. [PDF]

PLoS One, 2010
Boniolo G, D'Agostino M, Di Fiore PP.
europepmc   +1 more source

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