Definition
Translation
Definition of linear logic - Reverso English Dictionary
Noun
logicTECH. formal system of reasoning that treats statements as limited reusable resourcesTECH.
- Linear logic models how resources are consumed and produced in computational processes.
- The course introduced linear logic alongside classical proof systems.
- In linear logic, duplicating assumptions is not always permitted.
Feedback:
Expressions with linear
method involving sequential steps
The project was completed using a linear approach.
television service with programs shown at set times
Linear television broadcasts the news at 6 PM every day.
unit of measurement equal to one meter in length
The fabric was sold by the linear meter..
television programs shown on a set schedule
Many people still watch linear TV every night.
equation where each variable is only to the first power
A linear equation like x + 2y = 5 is easy to solve.
mechanical component that guides movement smoothly along a straight path
The 3D printer carriage slides on a steel rail with a linear bearing.
function whose graph is a straight line
The equation y = 2x + 3 is a linear function.
increase where the added amount stays constant for each equal step
The population showed linear growth, adding the same number of people every year.
movement along a straight path without turning or bending
The piston converts rotary motion into linear motion inside the engine.
art method showing depth by making objects look smaller with distance
Linear perspective makes distant buildings look smaller in a painting.
relationship with constant rate of change
The speed and time have a linear relationship.
measurement scale where equal steps show equal difference in measured quantity
The graph used a linear scale on both the horizontal and vertical axes.
system of measuring length or distance
The engineer used a linear measure for the bridge's length..
device accelerating charged particles in a straight line
The linear accelerator is crucial in particle physics experiments.
branch of mathematics studying vectors, matrices, and linear equations
Linear algebra is important in computer graphics.
electromagnetic device that produces motion in a straight line
The linear motor powers the conveyor belt efficiently..
statistical method modeling relationship between variables using a linear equation
Linear regression helps predict sales based on advertising spend.
subset of vectors closed under addition and scalar multiplication
The set of all solutions forms a linear subspace.
map between vector spaces preserving addition and multiplication
The linear transformation mapped the vector to a new space.
measure of length in a straight line
The road stretches for 10 linear kilometres.
sum of scalar multiples of vectors
The vector v is a linear combination of vectors u and w..
mass per unit length of an object
The linear density of the wire is 0.5 kg/m.
increase in length of a solid material caused by temperature rise
Engineers must consider linear expansion when designing long metal bridges.
function mapping vectors to scalars
The linear form maps the vector to a scalar.
Expressions with logic
malicious code activated by specific conditions
A logic bomb deleted files when the user logged in..
impossible to explain or understand using reason
The magician performed a logic-defying trick.
agreed way of thinking or reasoning
They worked together with shared logic to solve the problem.
mistake in reasoning causing incorrect results
The program had a logic error in its calculation.
realization of a plot hole after watching a movie or show
The movie was great, but I had some fridge logic about the ending.
set of rules that makes a system or story consistent inside itself
The movie’s internal logic falls apart halfway through the plot.
circuit board containing the principal components of a computer
The technician replaced the damaged logic board to fix the laptop..
diagram showing logical relationships in a project
The team used a logic diagram to plan the project.
structured framework for reasoning and deduction
The philosopher developed a new system of logic.
rules in software code that carry out a company’s real activities
The developer updated the business logic to support the new payment method.
system of reasoning developed by Aristotle
Aristotelian logic emphasizes the importance of deductive reasoning..
form of algebra based on binary variables
Boolean logic is fundamental in computer science..
study of reasoning using symbols and precise rules
Formal logic helps prove statements using clear rules.
mathematical reasoning allowing truth values between 0 and 1
Fuzzy logic helps computers handle uncertain information.
electronic circuit that performs logical operations using logic gates
The logic circuit controls the lights based on sensor input.
operation following symbolic logic rules
The circuit performs a logic operation to process data.
branch of mathematics and logic studying formal systems
He specialized in mathematical logic during his postgraduate studies..
mathematical logic studying propositions, their truth values, and logical connectives
Propositional logic is used to analyze logical statements.
mathematical logic using symbols and formulas for reasoning
Symbolic logic helps prove mathematical statements.
branch of logic dealing with necessity and possibility
Alethic logic explores the nature of necessity and possibility.
set of rules controlling how a software program performs its tasks
The developer updated the application logic to handle discount codes correctly.
part of CPU performing calculations and logic operations
The arithmetic logic unit processes data within the CPU.
branch of logic about obligation and permission rules
Deontic logic helps analyze what is allowed or required.
system using discrete signals to perform logical operations in electronic devices
The course introduces digital logic before moving on to microprocessor design.
Terms related to linear logic
💡 Terms in the same lexical field: analogies, antonyms, common collocates, words with same roots, hypernyms…
View all translations of linear logic
✨Click below to see the appropriate translations facing each meaning.
- French:logique linéaire, ...
- German:lineare Logik, ...
- Italian:logica lineare, ...
- Spanish:lógica lineal, ...
- Portuguese:lógica linear, ...
- Chinese:线性逻辑, ...
- Japanese:線形論理, ...
- Arabic:الْمَنْطِق الْخَطِّيّ, ...
- Hebrew:לוֹגִיקָה לִינְאַרִית, ...
- Russian:линейная логика, ...
- Ukrainian:лінійна логіка, ...
- Hindi:रेखीय लॉजिक, ...
- Bengali:লিনিয়ার লজিক, ...
- Catalan:lògica lineal, ...
- Czech:lineární logika, ...
- Danish:lineær logik, ...
- Dutch:lineaire logica, ...
- Greek:γραμμική λογική, ...
- Hungarian:lineáris logika, ...
- Khmer:តក្កវិជ្ជាលីនេអ៊ែរ, ...
- Korean:선형 논리, ...
- Persian:منطق خطی, ...
- Polish:logika liniowa, ...
- Portuguese (BR):lógica linear, ...
- Romanian:logică liniară, ...
- Swedish:linjär logik, ...
- Thai:ตรรกเชิงเส้น, ...
- Turkish:doğrusal mantık, ...
- Vietnamese:logic tuyến tính, ...
icon to discover related terms: analogies, antonyms, common collocates, words with same roots, umbrella terms… Try with happening or hunch.
icon next to the first example to see two additional options and learn to use new vocabulary naturally.
icon to save words you want to revisit. You can also save a specific meaning by clicking on the