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.

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.

    MIND MELD: The Best Aliens in Science Fiction

  • 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

  • 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

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

    Substructural Logics

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

    Substructural Logics

  • 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

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

    Substructural Logics

  • 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

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

    Substructural Logics

  • 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

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.