Sequent - Explanation


A sequent has the form

where both Γ and Σ are sequences of logical formulae (i.e., both the number and the order of the occurring formulae matter). The symbol is usually referred to as turnstile or tee and is often read, suggestively, as "yields" or "proves". It is not a symbol in the language, rather it is a symbol in the metalanguage used to discuss proofs. In a sequent, Γ is called the antecedent and Σ is said to be the succedent of the sequent.

Read more about this topic:  Sequent

Other articles related to "explanation, explanations":

Aomori Nebuta Matsuri - Origin and History
... The most widely-known explanation is that the festival originated from the flutes and taiko future shogun Sakanoue no Tamuramaro used to attract the attention of ... The Tamuramaro Shō (Tamuramaro Prize) was created around this explanation in 1962 to be awarded to the festival's best group participant (later renamed to ... actually conducted military expeditions in what is currently Aomori Prefecture, so this explanation is considered to be a legend ...
Stevens Explanation
... "Explanation" is a poem from Wallace Stevens's first book of poetry, Harmonium (1923) ... Explanation Ach, Mutter, This old, black dress, I have been embroidering French flowers on it ... through space, Like a figure on the church-wall This poem may be an explanation of the difference between conventional decoration and artistic imagination, the latter represented, as Buttel ...
The Frontiers Of Criticism - Content of The Lecture - Difference Between Understanding and Explanation
... of what he calls "the criticism of explanation by origins" (107) ... uses the example of Finnegans Wake in order to illuminate the distinction between explanation and understanding ...
Comment (computer Programming) - Uses - Algorithmic Description
... In such cases, comments may contain an explanation of the methodology ... Such explanations may include diagrams and formal mathematical proofs ... This may constitute explanation of the code, rather than a clarification of its intent but others tasked with maintaining the code base may find such ...
Types of Explanations
... There are many and varied events, objects, and facts which require explanation ... So too, there are many different types of explanation ... Aristotle recognized at least four types of explanation ...

Famous quotes containing the word explanation:

    We live between two worlds; we soar in the atmosphere; we creep upon the soil; we have the aspirations of creators and the propensities of quadrupeds. There can be but one explanation of this fact. We are passing from the animal into a higher form, and the drama of this planet is in its second act.
    W. Winwood Reade (1838–1875)

    How strange a scene is this in which we are such shifting figures, pictures, shadows. The mystery of our existence—I have no faith in any attempted explanation of it. It is all a dark, unfathomed profound.
    Rutherford Birchard Hayes (1822–1893)

    There is a great deal of unmapped country within us which would have to be taken into account in an explanation of our gusts and storms.
    George Eliot [Mary Ann (or Marian)