All articles starting with L
25,375 articles
Logical biconditional
The logical biconditional, also called biimplication, is the two-place propositional connective "P if and only if Q", true when P and Q have the same truth value.
Logical conjunction
Logical conjunction, also called logical and, is the two-place logical operation written ∧ that combines two statements into a compound true only when both are true.
Logical connective
A logical connective, or logical operator, is a symbol such as "and", "or", "not", or "if...then" that binds one or more sentences into a new compound sentence in formal logic.
Logical consequence
Logical consequence: the relation holding between premises and a conclusion when, by logic alone, the premises cannot all be true while the conclusion is false; formalized model-theoretically (K ⊨ X) and deductively, central to logic since Tarski's 1936 definition.
Logical data warehouse
Logical data warehouse (LDW, virtual data warehouse): a Gartner-coined analytical architecture in which a semantic/virtualization layer over a traditional EDW integrates diverse sources via reusable metadata without physical consolidation; supports AI and RAG workflows.
Logical disjunction
Logical disjunction, also called the inclusive or, is the logical connective written ∨, a compound sentence true when at least one of its two disjuncts is true.
Logical form (linguistics)
Logical form (linguistics): a representation of a sentence's logical properties, in two senses: semantic (unambiguous logical-language formula) and syntactic (LF, a generative-grammar interface level derived from S-structure via quantifier raising).
Logical NOR
Logical NOR, also called joint denial, is the logical connective true only when both of its statements are false; on its own it can express every truth-function of propositional logic.
Logical positivism
Logical positivism, also called logical empiricism or neopositivism, was a philosophical movement centered in 1920s Vienna and Berlin, whose Vienna Circle held that meaningful statements must be verifiable by observation.
Logical quantum processor based on reconfigurable atom arrays
A 2023 Nature experiment by a Harvard, MIT, and QuEra team that ran a quantum processor on error-corrected logical qubits, using up to 280 neutral atoms in a reconfigurable array.
Logical qubit
A logical qubit is an encoded qubit protected by quantum error correction, formed from multiple physical qubits so that quantum information survives errors in any of its components.
Logical reasoning
Logical reasoning is the process of drawing conclusions from premises by rules evaluated independently of subject matter, divided into deductive, inductive, and abductive modes, first formally studied by Aristotle.
Logical relations
A logical relation is a family of relations between program meanings, indexed by types and defined by recursion over type structure; it proves program equivalence and compiler correctness.
Logical Volume Manager (Linux)
The Logical Volume Manager (LVM) is the standard volume manager of the Linux kernel, combining physical disks into volume groups from which flexible logical volumes are created.
LogicGate
LogicGate is a Chicago-based software company founded in 2015 by three former GRC consultants that sells Risk Cloud, a no-code platform enterprises use to build governance, risk, and compliance workflows.
Logicomix
Logicomix: An Epic Search for Truth (Greek: Ιδέα και ιστορία) is a 2008/2009 graphic novel by Doxiadis and Papadimitriou telling Bertrand Russell's foundational quest in mathematics, with metafictional framing and acknowledged historical liberties.
Logie Awards of 2026
Logie Awards of 2026 (66th TV Week Logie Awards): Australian TV awards held 16 August 2026 at The Star Sydney, hosted by Robert Irwin. Sam Pang won the Gold Logie; Sam Neill won posthumously; ABC took eight awards; Deborah Mailman entered the Hall of Fame.
LogiMAT
LogiMAT is an annual international trade fair for intralogistics solutions and process management, held each spring at Messe Stuttgart in Stuttgart, Germany since 2003 and ranked as Europe's largest such show.
Login
Login, also called logon or signing in, is the process of presenting credentials to authenticate an account with a computer service, after which the user receives an authenticated session.
Logis-Tech Tokyo
Logis-Tech Tokyo (国際物流総合展, International Logistics Comprehensive Exhibition) is a Japanese trade show for material handling and logistics equipment, held at Tokyo Big Sight since 1994 and among the largest such exhibitions in Asia.
Logistic distribution
The logistic distribution, also known as the sech-squared distribution, is a continuous probability distribution with a sigmoid cumulative distribution function, resembling the normal distribution but with heavier tails.
Logistic function
The logistic function, also known as the Verhulst equation or logistic sigmoid, is the S-shaped function mapping real numbers into (0, 1), devised by Verhulst in 1838.
Logistic map
The logistic map, also called the discrete logistic equation, is a recurrence widely used in nonlinear dynamics, passing through stable states, period doubling, and chaos as the parameter r increases.
Logistic regression
Logistic regression, also called the logit or binary logit model, is a statistical method for modeling the probability of a binary outcome as a function of explanatory variables.
Logistics
Logistics is the management of the forward and reverse flow and storage of goods, services, and information from origin to consumption, spanning transportation, warehousing, inventory, and order fulfillment.
LOGISTICS (musician)
Logistics is the stage name of Matt Gresham, born 1981, an English drum and bass producer and DJ from Cambridge who has recorded exclusively for Hospital Records since 2004.
Logistics of the 2024 Republican National Convention
Logistics of the 2024 Republican National Convention: Milwaukee, July 15-18, 2024; NSSE-designated Secret Service security perimeters, road closures, MCTS bus detours, screened deliveries, and a reported $321.5 million economic impact.
Logit
The logit, also called the log-odds, is a statistical function that converts a probability into the logarithm of its odds; it is the link function of logistic regression.
Logit attribution
Logit attribution, most often called direct logit attribution (DLA), is an interpretability method for transformer language models that decomposes output logits into contributions from each attention head and MLP layer.
Logit lens
The logit lens is an interpretability technique for transformer language models, introduced by nostalgebraist in 2020, that applies the model's unembedding matrix to intermediate-layer hidden states.