succedent rule
Смотреть что такое "succedent rule" в других словарях:
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Sequent — In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct which can be regarded as a specific kind of… … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
GRANDE-BRETAGNE - Histoire — L’espace géographique britannique n’a pas coïncidé, pendant longtemps, avec une réalité politique. Sans évoquer immédiatement les divisions tribales qui frappèrent un César, pourtant bien préparé par sa conquête de la Gaule à rencontrer des… … Encyclopédie Universelle
IRLANDE — On sait fort peu de chose des premiers occupants de l’Irlande, que ce soit des communautés mésolithiques d’Ulster, des tribus néolithiques auxquelles renvoient les mégalithes de la Boyne, des populations de l’âge de bronze dont on repère la trace … Encyclopédie Universelle
Tibet (1912-1951) — Pour les articles homonymes, voir Tibet (homonymie). Tibet བོད་ bod Tibétain 1912 – 1951 … Wikipédia en Français
Georges Ier de Grèce — Pour les articles homonymes, voir Georges Ier et Georges de Grèce (homonymie). Georges Ier de Grèce Γεώργιος A … Wikipédia en Français
Conflit nord-irlandais — Carte politique des îles britanniques Informations générales Date 1968 … Wikipédia en Français
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
