Definitions
from The Century Dictionary.
 Of, pertaining to, or of the nature of a substructure.
from Wiktionary, Creative Commons Attribution/ShareAlike License.
 adjective Of or pertaining to a
substructure
Etymologies
Sorry, no etymologies found.
Examples

Whilst they are often described in loving detail, that which is alien about them only goes as deep as the bone (or substructural biology of choice) and very often doesn't extend to the mind.

As is the case in the context of substructural logics, the notion of proof in a given dialogue system is determined by the structural rules.

If we opted to use sequent rules, we would have to decide whether or not to allow “substructure” (see the entry on substructural logics) and whether to allow multiple conclusions in the sequents.

There are many different formal systems in the family of substructural logics.

This example gives us a model in which the appropriate substructural logic is extremely weak.

However, when it comes to attempting to understand the deep structure of classical proof systems (and in particular, when two derivations that differ in some superficial syntactic way are really different ways to represent the one underlying ˜proof™) it is enlightening to think of classical logic as formed by a basic substructural logic, in which extra structural rules are imposed as additions.

In this way, decidability of some substructural logics is assured.

The three place relation R follows closely the behaviour of the mode of premise combination in the proof theory for a substructural logic.

[An edited collection of essays on different topics in substructural logics, from different traditions in the field.]

The literature on substructural logics provides us with a number of different ways that the ternary relational semantics can be applied to describe the logical structure of some phenomena in which the traditional structural rules do not apply.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.