Skip to search formSkip to main contentSkip to account menu

Linear logic

Known as: Intuitionistic linear logic, ⅋ 
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

34 relations
Admissible ruleAtomic formulaBunched logicCalculus of structures

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Design of a Discrete-Time Linear Control Strategy for a Multicell UPQC
A discrete-time linear control strategy for a multilevel three-phase unified power quality conditioner (UPQC) based on single… 
Highly Cited
2008
Highly Cited
2008
High-Performance Mixed-Precision Linear Solver for FPGAs
Compared to higher-precision data formats, lower-precision data formats result in higher performance for computational intensive… 
Highly Cited
2005
Highly Cited
2005
Direct model predictive control - a new direct predictive control strategy for electrical drives
Since more than 20 years the so-called "field oriented control" is state-of-the-art for electrical drives. Strategies based on… 
Review
2003
Review
2003
A Stage Structured Predator-Prey model and its Dependence on Through-Stage Delay and Death Rate
The work of Aiello and Freedman on a single species growth with stage structure has received much attention in the literature in… 
Highly Cited
1989
Highly Cited
1989
Linear median hybrid filters
The authors introduce a general class of median-type filters which contain nonrecursive (finite impulse response) and/or… 
Highly Cited
1987
Highly Cited
1987
A versatile CMOS linear transconductor/square-law function
A simple CMOS circuit technique for realizing both linear transconductance and a precision square-law function is described. The… 
Highly Cited
1986
Highly Cited
1986
A reduced order observer for descriptor systems
Highly Cited
1984
Highly Cited
1984
Efficient octree conversion by connectivity labeling
We present an algorithm for converting from the boundary representation of a solid to the corresponding octree model. The… 
Highly Cited
1972
Highly Cited
1972
Linear transformations which preserve trace and positive semidefiniteness of operators
Highly Cited
1968
Highly Cited
1968
Glutamate Dehydrogenases of Thiobacillus novellus KINETIC PROPERTIES AND A POSSIBLE CONTROL MECHANISM
Abstract Kinetic analyses were conducted on two glutamate dehydrogenases isolated from the facultative chemoautotroph… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)