sequent

C2 Topic:Mathematics & Measurement

US /ˈsiː.kwənt/ UK /ˈsiː.kwənt/ See IPA manual

Freq #306089

Meanings

1

noun
in proof theory, a formal expression showing that one or more conclusion formulas follow from a collection of premise formulas

The sequent places the assumptions to the left of the turnstile and the conclusion to its right.
2

noun
in Russell's order theory, a minimal member among the successors of a class with respect to a relation

If the ordered class has a least upper successor, that term is its sequent.
3

adj
following next in time, order, or consequence

Each night was followed by a sequent day.

Thesaurus

Synonyms

1 noun · in proof theory, a formal... consequence assertion

2 noun · in russell's order theory,... minimal successor

3 adj · following next in time,... subsequent consecutive consequent

Opposites

precedent antecedent

Word family

Forms sequents

Derived forms hypersequent

Related forms sequence successor precedent consequence

Etymology

Borrowed in the sixteenth century through Middle French sequent from Latin sequent-, the stem of sequens ("following"), present participle of sequi ("to follow"). Its modern proof-theory noun sense names a formal consequence statement; Russell used the noun for a particular successor of an ordered class.

Topics

Mathematics & Measurement

External links

# sequent

**Type:** Word
**Level:** C2
**Part of speech:** noun, adj
**IPA (US):** /ˈsiː.kwənt/
**IPA (UK):** /ˈsiː.kwənt/
**Frequency rank:** 306089

## Meanings
1. in proof theory, a formal expression showing that one or more conclusion formulas follow from a collection of premise formulas
2. in Russell's order theory, a minimal member among the successors of a class with respect to a relation
3. following next in time, order, or consequence

## Examples
- The sequent places the assumptions to the left of the turnstile and the conclusion to its right.
- If the ordered class has a least upper successor, that term is its sequent.
- Each night was followed by a sequent day.

## Synonyms
- subsequent
- consecutive
- consequent

## Antonyms
- precedent
- antecedent

## Derived Forms
- hypersequent

## Related Forms
- sequence
- successor
- precedent
- consequence

## Etymology
Borrowed in the sixteenth century through Middle French sequent from Latin sequent-, the stem of sequens ("following"), present participle of sequi ("to follow"). Its modern proof-theory noun sense names a formal consequence statement; Russell used the noun for a particular successor of an ordered class.

## Topics
- Mathematics & Measurement

markdown