### Смотреть что такое "regular sequent" в других словарях:

**Regular category**— In category theory, a regular category is a category with finite limits and coequalizers of kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence … Wikipedia**sequential**— [adj] occurring in an order consecutive, constant, continuous, following, incessant, later, next, persistent, regular, sequent, serial, steady, subsequent, subsequential, succedent, succeeding, successive; concepts 482,548,585 Ant. nonsequential … New thesaurus**consecutive**— consecutive, successive, sequent, sequential, serial are comparable when meaning following one after the other in order. Consecutive and successive apply to objects which follow one another without interruption or break. But consecutive is… … New Dictionary of Synonyms**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**Curry–Howard correspondence**— A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia**Admissible rule**— In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … 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**Sequence**— Se quence (s[=e] kwens), n. [F. s[ e]quence, L. sequentia, fr. sequens. See {Sequent}.] 1. The state of being sequent; succession; order of following; arrangement. [1913 Webster] How art thou a king But by fair sequence and succession? Shak.… … The Collaborative International Dictionary of English**sequence flush**— Sequence Se quence (s[=e] kwens), n. [F. s[ e]quence, L. sequentia, fr. sequens. See {Sequent}.] 1. The state of being sequent; succession; order of following; arrangement. [1913 Webster] How art thou a king But by fair sequence and succession?… … The Collaborative International Dictionary of English**NS320xx**— The 320xx or NS32000 was a series of microprocessors from National Semiconductor ( NS , Natsemi ). They were likely the first 32 bit general purpose microprocessors on the market, but due to a number of factors never managed to become a major… … Wikipedia**Curry-Howard correspondence**— The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia