Results 131 to 140 of about 884 (194)

On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions [PDF]

, 2013
Àngel García-Cerdaña, Ventura Verdú
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

Glivenko theorems for substructural logics over FL [PDF]

, 2006
Nikolaos Galatos, Hiroakira Ono
openalex   +1 more source

Semantic Foundations of Reductive Reasoning. [PDF]

Topoi (Dordr)
Gheorghiu AV, Pym DJ.
europepmc   +1 more source

Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics [PDF]

, 2011
Robert Rothenberg
openalex   +1 more source

On Polarity Frames: Applications to Substructural and Lattice-based Logics. [PDF]

, 2014
Tomoyuki Suzuki
openalex  

Substructural logics [PDF]

, 2018
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake   +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

Semilinear substructural logics with the finite embeddability property [PDF]

, 2016
San-Min Wang
openalex   +1 more source