-
proposed the term "
substructural logics",
which is now in use today.
Substructural type
system Residuated lattice F.
Paoli (2002),
Substructural Logics: A Primer...
-
Substructural type
systems are a
family of type
systems analogous to
substructural logics where one or more of the
structural rules are
absent or only...
- up
substructure in Wiktionary, the free dictionary.
Substructure may
refer to:
Substructure (engineering)
Substructure (mathematics)
Substructure (marxist...
- only upon 'reduced'
forms of its arguments, such as
Walther recursion,
substructural recursion, or "strongly normalizing" as
proven by
abstract interpretation...
-
Substructure search (SSS) is a
method to
retrieve from a
database only
those chemicals matching a
pattern of
atoms and
bonds which a user specifies. It...
-
substructuring (DS) is an
engineering tool used to
model and
analyse the
dynamics of
mechanical systems by
means of its
components or
substructures....
- In
computer science, a
problem is said to have
optimal substructure if an
optimal solution can be
constructed from
optimal solutions of its subproblems...
- In
mathematical logic, an (induced)
substructure or (induced)
subalgebra is a
structure whose domain is a
subset of that of a
bigger structure, and whose...
- The
substructure of a
building transfers the load of the
building to the
ground and
isolates it
horizontally from the ground. This
includes foundations...
-
Professor of
Philosophy at the
University of St Andrews. An
Introduction to
Substructural Logics, Routledge, 2000 Logic, Routledge, 2006
Logical Pluralism, with...
