succedent

Analogous rules permit weakening and contraction in the right, succedent parts of sequents.

Chores 2009

It was about China, in which he said that the Chinese seemingly had a right to crack down on dissidents who they felt were disrupting the functions of government, all that succedent to just build upon Chas Freeman.

CNN Transcript Mar 10, 2009 2009

Γ is the sequent's antecedent and Δ its succedent.

Automated Reasoning Portoraro, Frederic 2005

The essential processes of nutrition are the metabolic changes which take place within the cells of the body, all other steps of nutrition being either antecedent or succedent accessories.

The Catholic Encyclopedia, Volume 1: Aachen-Assize 1840-1916 1913

On y respire un air embaume par une multitude de fleurs agreables qui se succedent toute l'annee, et dont l'odeur suave penetre jusqu'a l'ame, et inspire la volupte la plus seduisante.

The History of Sumatra Containing An Account Of The Government, Laws, Customs And Manners Of The Native Inhabitants William Marsden 1795

(2000, first ed. 1996) a single-succedent intuitionistic calculus with height-preserving admissibility of weakening and contraction.

Chores 2009

A†’ B.there exists some form of connection between the antecedent A and the succedent B. Axiom A4, for example, is bad in this respect.

Connexive Logic Wansing, Heinrich 2006

[ "Les enfans ne succedent iamais aux biens et dignitez de leurs peres, doubtant comme i'ay dit de leur geniteur, mais bien font-ils leurs successeurs et heritiers, les enfans de leurs soeurs, et desquels ils sont asseurez d'estre yssus et sortis."

The Jesuits in North America in the Seventeenth Century Francis Parkman 1858