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.
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… 
2000
2000
Speed control design for an experimental vehicle using a generalized gain scheduling approach
Describes the design and experimental evaluation of a nonlinear automotive speed control system. The approach implemented is… 
Review
1999
Review
1999
Excitation and visibility of high-degree modes in stars
ABSTRA C T Observational evidence for excitation of non-radial modes in stars is confronted with the results of linear stability… 
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… 
1997
1997
A Collection of Selected Pseudorandom Number Generators With Linear Structures
with linear structures Karl Entacher August 21, 1997 Abstract This is a collection of selected linear pseudorandom number that… 
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
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)