regular sequent
Смотреть что такое "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
