Γ is the sequent's antecedent and Δ its succedent. From Wordnik.com. [Automated Reasoning] Reference
Analogous rules permit weakening and contraction in the right, succedent parts of sequents. From Wordnik.com. [Chores] Reference
(2000, first ed. 1996) a single-succedent intuitionistic calculus with height-preserving admissibility of weakening and contraction. From Wordnik.com. [Chores] Reference
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. From Wordnik.com. [The Catholic Encyclopedia, Volume 1: Aachen-Assize] Reference
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. From Wordnik.com. [Connexive Logic] Reference
These have been divided, for the sake of convenience, into four primary groups; and each group again subdivided into three, corresponding to the four cardinal, four succedent, and four cadent houses, of the astrological chart; therefore, the twelve signs of the Zodiac; these constituting the Cycle of Necessity within physical conditions, wherein, the ever-measuring or decreeing tidal flow of life from solar radiation throughout the year, represents the twelve groups of humanity, of lower animated Nature, of vegetation, and crystallized gems. From Wordnik.com. [The light of Egypt; or, The science of the soul and the stars] Reference
LearnThatWord and the Open Dictionary of English are programs by LearnThat Foundation, a 501(c)3 nonprofit.
Questions? Feedback? We want to hear from you!
Email us
or click here for instant support.
Copyright © 2005 and after - LearnThat Foundation. Patents pending.

