** Ability to run in a Logical Partition on POWER4

** LVM ( Logical Volume Manager ) was incorporated into OSF / 1, and in 1995 for HP-UX, and the Linux LVM implementation is similar to the HP-UX LVM implementation.

** ORACLE ( computer ) ( Oak Ridge Automatic Computer and Logical Engine )

** Logical possibility

** LDOS ( By Logical Systems, Inc. – For the Radio Shack TRS-80 Models I, II & III )

** Logical equivalence

** Logical biconditional

** Logical database requirement

** necessity

** International Space Station ( for claims of necessity to conduct scientific research )

** Lower limit: 70-80 modal ( bass ), 30-40 creaky

** modal tags request information of which the speaker is uncertain.

** Incentives to use public transport, increasing modal shares.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion.

** Arithmetic logic unit ( ALU )-The ALU executes all arithmetic and logic instructions, and provides the results in binary coded form.

** In combinatory logic, the looping combinator, ( λ x. x x ) ( λ x. x x )

** In combinatory logic, the self-application combinator, ( λ x. x x )

** Logos appeals include appeals to statistics, math, logic, and objectivity.

** Safety-critical logic.

** Multiple-emitter transistor, used in transistor – transistor logic

** Bertrand Russell ( 1908a ) Mathematical logic as based on the theory of types, with commentary by Willard Quine, pages 150-182.

** Hal Feeney project engineer did the detailed logic design, circuit design, and physical layout under Faggin's supervision, employing the same design methodology that Faggin had originally developed for the Intel 4004 microprocessor, and utilizing the basic circuits he had developed for the 4004.

** Arithmetic logic unit, used in the context of Charles Babbage's Analytical engine, a 19th century concept of a computer

** Christopher Monroe and David Wineland at NIST ( Boulder, Colorado ) experimentally realize the first quantum logic gate – the C-NOT gate – with trapped ions, according to Cirac and Zoller's proposal.

** NAND logic, methods of building other logic gates using just NAND gates

** Built-in self-test, or BIST – installs self-contained test-controllers to automatically test a logic ( or memory ) structure in the design

** In logic, formal semantics and parts of linguistics, the extension of a term.

** Temporal logic

** 74-the " standard TTL " logic family had no letters between the " 74 " and the specific part number.

** 74L-Low power ( compared to the original TTL logic family ), very slow

** HCT-High speed, compatible logic levels to bipolar parts

** Z notation, a formal notation for specifying objects using Zermelo-Fraenkel set theory and first-order predicate logic

** De Morgan's laws ( or De Morgan's theorem ), a set of rules from propositional logic.

** core logic — 57M, or 28. 5M per core

** bus logic & I / O — 6. 7M

* Logical necessity

Their work on modal logic, Logical conditionals, and propositional logic played an important role in the development of logic in antiquity.

* Logical models including logic programming

Later, in the first volume of his Logical Investigations, the Prolegomena of Pure Logic, Husserl, while attacking the psychologistic point of view in logic and mathematics, also appears to reject much of his early work, although the forms of psychologism analysed and refuted in the Prolegomena did not apply directly to his Philosophy of Arithmetic.

An oblique reference to Epimenides in the context of logic appears in " The Logical Calculus " by W. E. Johnson, Mind ( New Series ), volume 1, number 2 ( April, 1892 ), pages 235 – 250.

Logical empiricism ( aka logical positivism or neopositivism ) was an early 20th century attempt to synthesize the essential ideas of British empiricism ( e. g. a strong emphasis on sensory experience as the basis for knowledge ) with certain insights from mathematical logic that had been developed by Gottlob Frege and Ludwig Wittgenstein.

Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic.

Logical positivism used formal logic to underpin an empiricist account of our knowledge of the world.

Logical positivists ( or ' neopositivists ') reject metaphysical assertions and attempt to reduce statements and propositions to pure logic.

The first volume of the Logical Investigations, the Prolegomena to Pure Logic, begins with a devastating critique of psychologism, i. e., the attempt to subsume the a priori validity of the laws of logic under psychology.

Logical conjunction | Conjunctions of the arguments in parentheses: The conjunction of no argument is the tautology ( logic ) | tautology.

* Logical NAND (" Not AND "), a binary operation in logic

* Logical NOR (" Not OR "), a binary operation in logic

Logical analysis is the method of clarification of philosophical problems ; it makes an extensive use of symbolic logic and distinguishes the Vienna Circle empiricism from earlier versions.

McCulloch and Pitts showed how neural systems could implement first-order logic: Their classic paper " A Logical Calculus of Ideas Immanent in Nervous Activity " ( 1943 ) is important in this development here.

( See also some related concepts: Logical argument, Mathematical logic, and Model theory.

language -- Lateral thinking -- Law of excluded middle -- Law of non-contradiction -- Laws of logic -- Laws of Form -- Linear logic -- Logic -- Logic gate -- Logical argument -- Logical assertion -- Logical biconditional -- Logical conditional -- Logical conjunction -- Logical disjunction -- Logical equivalence -- Logical fallacy -- Logical language -- Logical nand -- Logical nor -- Logical operator -- Logicism -- Logic programming -- logico-linguistic modeling