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
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… 
2003
2003
Dyadic processes of disclosure and reciprocity in bargaining with communication
We offer a study revealing the mechanisms through which communication helps actual bargaining behavior outperform economic… 
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… 
Review
2003
Review
2003
An Introduction to Support Vector Machines: A Review
Review of "An Introduction to Support Vector Machines and Other Kernel-Based Learning Methods, Nello Cristianini and John Shawe… 
1998
1998
Photoelectron Spectroscopy of Doubly Charged Anions: Intramolecular Coulomb Repulsion and Solvent Stabilization
Photoelectron spectroscopy has been combined with an electrospray ionization technique to study gas-phase multiply charged anions… 
1992
1992
Quantum deformation of classical groups
We construct coordinate algebras of quantum orthogonal, special orthogonal and symplectic groups using M. Jimbo's solutions of… 
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… 
1977
1977
Acoustic-reflex effects on the input admittance and transfer characteristics of the human middle-ear
In the past 50 years many kinds of experiments on animals have demonstrated that muscles in the middle-ear contract in response… 
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)