Definitions
from The Century Dictionary.
- Of, pertaining to, or of the nature of a substructure.
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Of or pertaining to a
substructure
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word substructural.
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.
Dialogical Logic Keiff, Laurent 2009
-
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.
Logical Constants MacFarlane, John 2009
-
There are many different formal systems in the family of substructural logics.
Substructural Logics Restall, Greg 2008
-
This example gives us a model in which the appropriate substructural logic is extremely weak.
Substructural Logics Restall, Greg 2008
-
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.
Substructural Logics Restall, Greg 2008
-
In this way, decidability of some substructural logics is assured.
Substructural Logics Restall, Greg 2008
-
The three place relation R follows closely the behaviour of the mode of premise combination in the proof theory for a substructural logic.
Substructural Logics Restall, Greg 2008
-
[An edited collection of essays on different topics in substructural logics, from different traditions in the field.]
Substructural Logics Restall, Greg 2008
-
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.
Substructural Logics Restall, Greg 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.