Sequent is a 1st generation Diku MUD multi-user domain (MUD) engine, derived from the original DikuMUD. Sequent was developed in the early 1990s on a sequent multiprocessor machine (sequent.berkeley.edu), based on the freely distributed source code of DikiMUD. It was used as the basis for many later MUDs, notably "Copper MUD".

A follower.

That which follows as a result; a sequence.

God is the Cause of every created thing, so each thing is said to be sequent to God, i.e. follows from God. talent: A talent is a coin. This is a reference to the parable of Christ described in Matthew 25:14-30. A Lord who was about to go out of town gave each of his servants money that he expected them to invest for him. When he returned all but one of his servants had increased his holdings through their investments. However one servant merely gave him his coin back, saying that he had buried it while his Lord was away to keep it "safe." When the Lord found out that this servant didn't even try to do anything with the coin, he took the coin away from him and gave it to one of his other servants who had already demonstrated his ability to multiply his Lord's holdings.

An argument in a formal system of logic.

In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction.

a list of formulas, called hypotheses, paired with a single formula called the goal

an expression , where and are (possibly empty) sequences of formulas

Following; succeeding; in continuance.

in regular succession without gaps; "serial concerts"

Following as an effect; consequent.