Results 261 to 270 of about 8,765 (304)

A Useful Substructural Logic

Logic Journal of IGPL, 1994
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire   +2 more sources

When is a ‘‘fuzzy’’ substructure not a fuzzy substructure?

The Journal of the Acoustical Society of America, 1996
A source of confusion in discussions of ‘‘fuzzy’’ substructures is use of the same term for two types of structures with different characteristics. The fuzzy substructures discussed, e.g., by Strasberg and Feit [J. Acoust. Soc. Am. 99, 335–344 (1996)] have a multitude of closely spaced, deterministic frequencies of antiresonance and sufficient damping ...
openaire   +1 more source

Substructures

2022
‘Substructure’ is a collective term comprising all elements below the deck, which transfer loads to the ground below. No two bridge sites share the same ground conditions, so by definition substructure design must be bespoke for each structure. In the substructure, structural and geotechnical engineering come together, with the nature of the ground ...
openaire   +1 more source

Metacompleteness of Substructural Logics

Studia Logica, 2012
The paper studies the extensions of the logic \(\mathbf{FL}\) -- the logic of full Lambek calculus. A logic \(L\) is said to enjoy the disjunction property if the fact that \(\alpha \lor \beta\) is a theorem of \(L\) entails that \(\alpha\) or \(\beta\) is a theorem of \(L\).
openaire   +1 more source

Molecular substructure of fibrinogen

Biochemical and Biophysical Research Communications, 1963
Abstract Recent studies have provided much new information on the structure of the plasma protein fibrinogen. N-terminal analyses of fibrinogen and fibrin (Blomback and Yamashina, 1958) have suggested that the native molecule is a dimer consisting of three pairs of polypeptide chains.
R H, HASCHEMEYER, R E, NADEAU
openaire   +2 more sources

Substructural Logics with Mingle

Journal of Logic, Language and Information, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

SUBSTRUCTURAL INQUISITIVE LOGICS

The Review of Symbolic Logic, 2019
AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic.
openaire   +1 more source

Fuzzy Substructure Discovery

1992
Abstract This paper describes a method for discovering substructures in data using a fuzzy graph match. A previous implementation of the S ubdue system discovers substructures based on the psychologically-motivated criteria of cognitive savings, compactness, connectivity and coverage.
Lawrence B. Holder, Diane J. Cook, Horst Bunke   +2 more
openaire   +1 more source

On the use of Lagrange Multiplier State-Space Substructuring in dynamic substructuring analysis

Mechanical Systems and Signal Processing, 2022
Milena Martarelli, Paolo Chiariotti
exaly  

A review on dynamic substructuring methods for model updating and damage detection of large-scale structures

Advances in Structural Engineering, 2020
Shun Weng, Hongping Zhu, Yong Xia
exaly