sequent (0 synonym found)

Definition of sequent:

(n) : an element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements

Definition of sequent:

(n) : an element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements

Back to Top