lower sequent
Смотреть что такое "lower sequent" в других словарях:
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
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
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Computers and Information Systems — ▪ 2009 Introduction Smartphone: The New Computer. The market for the smartphone in reality a handheld computer for Web browsing, e mail, music, and video that was integrated with a cellular telephone continued to grow in 2008. According to… … Universalium
History of logic — Philosophy ( … Wikipedia
Experience point — Level up redirects here. For the BBC television program, see Level Up. An experience point (often abbreviated to Exp or XP) is a unit of measurement used in many role playing games (RPGs) and role playing video games to quantify a player… … Wikipedia
EverQuest — Developer(s) Sony Online Entertainment Publisher(s) Sony Online Entertainment … Wikipedia
junior — Synonyms and related words: adolescent, after, assistant, attendant, baby, cadet, cog, common, commonality, commonalty, consecutive, creature, demeaning, disadvantaged, employee, ensuing, fledgling, flunky, follower, following, freshman, helper,… … Moby Thesaurus
Minisupercomputer — Not to be confused with superminicomputer. Minisupercomputers constituted a short lived class of computers that emerged in the mid 1980s. As scientific computing using vector processors became more popular, the need for lower cost systems that… … Wikipedia
Magical Girl Lyrical Nanoha terminology — Articleissues cleanup = January 2008 copyedit = January 2008 in universe = January 2008 in universe cat = OR = January 2008 citecheck = January 2008This is a glossary of terms from the anime and manga series Magical Girl Lyrical Nanoha , and its… … Wikipedia
second — second1 [sek′ənd] adj. [ME secunde < OFr < L secundus, following, second < sequi, to follow: see SEQUENT] 1. coming next after the first in order of place or time; 2d or 2nd 2. another; other; additional; supplementary [to take a second… … English World dictionary