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… 
2002
2002
Glue semantics for HPSG
‎The glue approach to semantic interpretation has been developed principally for Lexical Functional Grammar. Recent work has… 
Highly Cited
2001
Highly Cited
2001
Parameter space analysis, pattern sensitivity and model comparison for Turning and stationary flow-distributed waves (FDS)
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… 
Highly Cited
1996
Highly Cited
1996
Statistics for complex variables and signals - Part II: signals
1987
1987
On Some Algorithms for Multiple Inheritance in Object-Oriented Programming
We study here some problems yielded by multiple inheritance in object-oriented languages. We give an interpretation and a… 
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)