linear logic

Also found in: Wikipedia

0.01 sec.

(theory)

linear logic - A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html.

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			It operates apart from the linear logic of the conscious mind, though working with the subconscious as a hypnotherapist, I see what I term as ? The Conscious and Subconscious Mind by Brian Green / Reference and Education community In the next four chapters, Poole focuses his discussion specifically on Paradise Lost, looking at the linear logic of unfallen thought compared to the circularity of fallen thought and the ways the epic is both linear and circular in its mode of justifying the ways of God to man. Milton and the Idea of the Fall by Stackhouse, Amy Dunham / Renaissance Quarterly Not that von Trier's unhappiness follows what might be called linear logic. MOVIE MENTOR PICKS UP HIS STUDENT'S GAUNTLET by Daily News (Los Angeles, CA)			linear electrical constants of a uniform line linear electrical parameters linear element linear energy transfer Linear Equation linear expansion linear expansity linear extrapolation distance linear feedback control linear flash linear flow structure Linear Form Linear Fractional Function linear fractional transformations Linear Function Linear Function of a Vector Linear Functional Linear Graph Notation linear hypothesis linear independence linear inequalities linear integrated circuit Linear Interpolation linear light linear light source linear logic linear magnetic amplifier Linear Magnification linear manifold linear map linear measure linear meter linear model linear modulation linear molecule linear momentum linear motion Linear Motor linear network Linear Network Synthesis Linear Operator linear order linear oscillator linear packer linear parallax linear parallel texture linear plan linear polarization linear polymer Linear Pottery Culture linear power amplifier			Linear Integrated Processing System Linear Interference Suppression Linear interpolation Linear interpolation Linear Interpolation with Maximum Entropy Algorithm Linear Inverse Space-Mapping Linear Ion Source Linear Ion Trap Linear Ion Trap Extended Linear Ion Trap Frequency Standards Linear isomorphic Linear isomorphism Linear Iteration Method Linear Iterative Turbo Equalization Linear Kalman Filter linear keratosis linear keratosis linear keratosis linear leaf Linear Least Mean-Square Linear Least Square Error Linear Least Square Regression Linear least squares Linear least squares Linear Least Squares Fit linear light linear light source Linear linkhouse Linear linkhouse linear logic Linear Logistic Test Model Linear low density polyethylene Linear Machine Decision Tree Linear Machine Sentence linear magnetic amplifier Linear Magnetic Dichroism in the Angular Distribution Linear Magnetic Drive Technology Linear magnification Linear magnification Linear magnification Linear magnification Linear manifold Linear manifold Linear map Linear map Linear mapping Linear maps Linear mass Linear mass density Linear mass density Linear Master Oscillator Linear matrix inequality Linear Mean Square Error Linear Mean Square Estimation linear measure linear measure Linear Medium Density Polyethylene linear meter Linear Microwave Phase Shifter Linear Minimum Mean Square Error Receiver

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.